Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is white. If Harry is cold and Harry is blue then Harry is white. If Harry is white then Harry is round. If something is cold and round then it is red. If something is cold and big then it is furry. If something is big then it is red. All red, round things are cold. All blue things are big. All white things are blue.
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is cold and Harry is blue then Harry is white.
((("Harry" "is" "cold" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "white" "+"))
If Harry is white then Harry is round.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "round" "+"))
If something is cold and round then it is red.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something is cold and big then it is furry.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All red, round things are cold.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All white things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple2 OR ((triple7) -> rule8))]
("Harry" "is" "blue" "+")
triple2
((triple7) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not furry.
False
1
inv-proof
[(triple4 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule7)) -> rule4) OR ((((triple5 triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((triple3 ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4))]
("Harry" "is" "furry" "-")
triple4
((triple3 triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple3 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple5 triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple5 triple6) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple3 ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple5 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple5 triple6) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple5 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple1) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple5 ((triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple1) -> (rule5 % int5)) triple6) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int6)) ((triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple2) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule5 % int5)) ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule7 % int6))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple2) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
@0: Harry is big.[(triple1 OR ((triple2) -> rule7) OR ((((triple7) -> rule8)) -> rule7))] Harry is blue.[(triple2 OR ((triple7) -> rule8))] Harry is cold.[(triple3 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple7) -> rule2)) -> rule6) OR ((((triple1) -> rule5) triple6) -> rule6) OR ((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) OR ((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) OR ((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6))] Harry is furry.[(triple4 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule7)) -> rule4) OR ((((triple5 triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((triple3 ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((triple5 triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((triple5 ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((triple1) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) triple1) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) triple6) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule7)) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple7) -> rule8)) -> rule7)) -> rule4))] Harry is red.[(triple5 OR ((triple1) -> rule5) OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule7)) -> rule5) OR ((triple3 ((triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule8)) -> rule7)) -> rule5) OR ((triple3 ((((triple3 triple2) -> rule1)) -> rule2)) -> rule3))] Harry is round.[(triple6 OR ((triple7) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2))] Harry is white.[(triple7 OR ((triple3 triple2) -> rule1) OR ((((triple5 triple6) -> rule6) triple2) -> rule1) OR ((((((triple1) -> rule5) triple6) -> rule6) triple2) -> rule1) OR ((((((((triple2) -> rule7)) -> rule5) triple6) -> rule6) triple2) -> rule1))]
Harry is big.
("Harry" "is" "big" "+")
triple1
((triple2) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple2
((triple7) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple3
((triple5 triple6) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple5 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple1) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
triple4
((triple3 triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple3 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple5 triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple5 triple6) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple3 ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple5 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple5 triple6) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple5 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple1) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple5 ((triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple1) -> (rule5 % int5)) triple6) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int6)) ((triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple2) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule5 % int5)) ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule7 % int6))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple2) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
Harry is red.
("Harry" "is" "red" "+")
triple5
((triple1) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple3 triple6) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple3 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple3 ((((triple3 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple6
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple3 triple2) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple5 triple6) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple1) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4