Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. If something is white and round then it is nice. If Fiona is young and Fiona is round then Fiona is kind. If Fiona is young and Fiona is nice then Fiona is quiet.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is white and round then it is nice.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If Fiona is young and Fiona is round then Fiona is kind.
((("Fiona" "is" "young" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is young and Fiona is nice then Fiona is quiet.
((("Fiona" "is" "young" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "quiet" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple4 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple6 triple5) -> rule1)) -> rule3))]
("Fiona" "is" "quiet" "-")
triple4
((triple7 triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 ((triple6 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2 OR ((triple7 triple5) -> rule2))] Fiona is nice.[(triple3 OR ((triple6 triple5) -> rule1))] Fiona is quiet.[(triple4 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple6 triple5) -> rule1)) -> rule3))] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
((triple7 triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
((triple6 triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple7 triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 ((triple6 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7