Fiona is green. Fiona is kind. Fiona is quiet. If someone is round and not quiet then they are not white. All quiet people are white. If someone is round and not quiet then they are white. If someone is quiet and white then they are round. All round people are young. If Fiona is green and Fiona is not kind then Fiona is young.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If someone is round and not quiet then they are not white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "-"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is round and not quiet then they are white.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "+"))
If someone is quiet and white then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If Fiona is green and Fiona is not kind then Fiona is young.
((("Fiona" "is" "green" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "young" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is white.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "white" "+")
((triple3) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "white" "-")
((triple3) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule4))]
("Fiona" "is" "round" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule4))]
("Fiona" "is" "round" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
True
5
proof
[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5))]
("Fiona" "is" "young" "+")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not young.
False
5
inv-proof
[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5))]
("Fiona" "is" "young" "-")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is white.[(((triple3) -> rule2))] @2: Fiona is round.[(((triple3 ((triple3) -> rule2)) -> rule4))] @3: Fiona is young.[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3