Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is white. If Gary is furry and Gary is white then Gary is big. If someone is round then they are blue. Big people are kind. All blue, round people are big. If Fiona is quiet then Fiona is round. If Fiona is furry and Fiona is round then Fiona is big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is furry and Gary is white then Gary is big.
((("Gary" "is" "furry" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "big" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All blue, round people are big.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Fiona is quiet then Fiona is round.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
If Fiona is furry and Fiona is round then Fiona is big.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple11)]
("Gary" "is" "round" "+")
triple11
Gary is not white.
False
1
inv-proof
[(triple12)]
("Gary" "is" "white" "-")
triple12
Gary is big.
True
3
proof
[(((triple8 triple11) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule4))]
("Gary" "is" "big" "+")
((triple8 triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple12) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple11) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not big.
False
3
inv-proof
[(((triple8 triple11) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule4))]
("Gary" "is" "big" "-")
((triple8 triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple12) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple11) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
True
4
proof
[(((((triple8 triple11) -> rule4)) -> rule3) OR ((((triple9 triple12) -> rule1)) -> rule3) OR ((((((triple11) -> rule2) triple11) -> rule4)) -> rule3))]
("Gary" "is" "kind" "+")
((((triple8 triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3)) triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not kind.
False
4
inv-proof
[(((((triple8 triple11) -> rule4)) -> rule3) OR ((((triple9 triple12) -> rule1)) -> rule3) OR ((((((triple11) -> rule2) triple11) -> rule4)) -> rule3))]
("Gary" "is" "kind" "-")
((((triple8 triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3)) triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
@0: Fiona is big.[(triple1 OR ((triple2 triple6) -> rule4) OR ((triple3 triple6) -> rule6) OR ((triple2 ((triple5) -> rule5)) -> rule4) OR ((triple3 ((triple5) -> rule5)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule4) OR ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5)) -> rule2) triple6) -> rule4) OR ((((((triple5) -> rule5)) -> rule2) ((triple5) -> rule5)) -> rule4))] Fiona is blue.[(triple2 OR ((triple6) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Fiona is furry.[(triple3)] Fiona is kind.[(triple4 OR ((triple1) -> rule3) OR ((((triple2 triple6) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule6)) -> rule3) OR ((((triple2 ((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((triple3 ((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule2) ((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2) triple6) -> rule4)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2) ((triple5) -> rule5)) -> rule4)) -> rule3))] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule5))] Fiona is white.[(triple7)] Gary is blue.[(triple8 OR ((triple11) -> rule2))] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Gary is big.[(((triple8 triple11) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule4))] @2: Gary is kind.[(((((triple8 triple11) -> rule4)) -> rule3) OR ((((triple9 triple12) -> rule1)) -> rule3) OR ((((((triple11) -> rule2) triple11) -> rule4)) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple2 triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple3 triple6) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple2 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple3 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2)) ((triple5) -> (rule5 % int3))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple6) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((triple1) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple2 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple3 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple2 ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple3 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple6) -> (rule2 % int4)) ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple5) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
((triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
((triple8 triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple12) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple11) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple8 triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple11) -> (rule2 % int3)) triple11) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3