SOCRATES : Hermeneutics is the interpretation, or understanding of texts. How can an interpretation of "I am happy" have one conclusion with many reasons?
LUCIAN : I eat an apple.
SOCRATES : What reason also?
LUCIAN : An apple makes me happy. This example shows that an interpretation has a single conclusion.
SOCRATES : A hotel has parts which need to be maintained, each with many reasons to be maintained. Name the first.
LUCIAN : A bed needs to be made, including its pillow and sheets.
SOCRATES : And the second?
LUCIAN : A picture needs to be chosen and hung straight.
SOCRATES : And the third?
LUCIAN : The carpet needs to be cleaned of toys and the dust removed.
SOCRATES : And the fourth?
LUCIAN : The windows need to be cleaned of bird droppings and the shutters need to be pulled up.
SOCRATES : And the fifth?
LUCIAN : The doors in the apartment should all be opened except the front door, and have each of their knobs polished.
%% Checks an argument is valid, or proven by parts given.
%% An argument is given by If <Antecedent>, then <Consequent>, where each of these is a subject, followed by a verb, followed by an object.
%% List is a list of reasons for the argument.
%% ?- traverse(a,c,[[a,b],[b,c]],_).
%% ?- traverse(a,d,[[a,c],[c,d],[a,b],[b,c]],_).
%% Most of the variables are the same as for traverse/3
%% List2 is List with all the found reasons removed