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