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