Anne is blue. Erin is blue. Gary is big. Harry is big. Harry is blue. Harry is green. Harry is round. If someone is round then they are green. All big people are round. If someone is blue then they are green. All cold, green people are smart. All green people are cold. If Erin is round and Erin is green then Erin is smart. All cold, smart people are white. If someone is blue and smart then they are big. If someone is smart then they are green.
Anne is blue.
("Anne" "is" "blue" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All cold, green people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If Erin is round and Erin is green then Erin is smart.
((("Erin" "is" "round" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "smart" "+"))
All cold, smart people are white.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and smart then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Harry is big.
True
1
proof
[(triple4 OR ((triple5 ((((triple6) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8))]
("Harry" "is" "big" "+")
triple4
((triple5 ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple5 ((((triple6) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple5 ((((triple6) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not round.
False
1
inv-proof
[(triple7 OR ((triple4) -> rule2) OR ((((triple5 ((((triple6) -> rule5) triple6) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
("Harry" "is" "round" "-")
triple7
((triple4) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple5 ((((triple6) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple5 ((((triple6) -> (rule5 % int5)) ((triple5) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple5 ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple5 ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Gary is round.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "round" "+")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "green" "-")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("Anne" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5))]
("Erin" "is" "cold" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is white.
True
7
proof
[(((((triple6) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7))]
("Harry" "is" "white" "+")
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple6) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int5)) ((((triple6) -> (rule5 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Erin is not smart.
False
6
inv-proof
[(((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))]
("Erin" "is" "smart" "-")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2) -> (rule3 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
True
8
proof
[(((triple2 ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule8))]
("Erin" "is" "big" "+")
((triple2 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not white.
False
10
inv-proof
[(((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule7))]
("Erin" "is" "white" "-")
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Anne is round.
True
9
proof
[(((((triple1 ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
("Anne" "is" "round" "+")
((((triple1 ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is not round.
False
9
inv-proof
[(((((triple1 ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
("Anne" "is" "round" "-")
((((triple1 ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
@0: Anne is blue.[(triple1)] Erin is blue.[(triple2)] Gary is big.[(triple3)] Harry is big.[(triple4 OR ((triple5 ((((triple6) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule8))] Harry is blue.[(triple5)] Harry is green.[(triple6 OR ((triple5) -> rule3) OR ((triple7) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Harry is round.[(triple7 OR ((triple4) -> rule2) OR ((((triple5 ((((triple6) -> rule5) triple6) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule8)) -> rule2))] @1: Anne is green.[(((triple1) -> rule3))] Erin is green.[(((triple2) -> rule3))] Gary is round.[(((triple3) -> rule2))] Harry is cold.[(((triple6) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((((triple4) -> rule2)) -> rule1)) -> rule5))] @2: Anne is cold.[(((((triple1) -> rule3)) -> rule5))] Erin is cold.[(((((triple2) -> rule3)) -> rule5))] Gary is green.[(((((triple3) -> rule2)) -> rule1))] Harry is smart.[(((((triple6) -> rule5) triple6) -> rule4) OR ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4) OR ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4) OR ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4) OR ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4) OR ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4))] @3: Anne is smart.[(((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4))] Erin is smart.[(((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))] Gary is cold.[(((((((triple3) -> rule2)) -> rule1)) -> rule5))] Harry is white.[(((((triple6) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple6) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple5) -> rule3)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((triple7) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((((((triple4) -> rule2)) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule7))] @4: Anne is big.[(((triple1 ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule8))] Anne is white.[(((((((triple1) -> rule3)) -> rule5) ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule7))] Erin is big.[(((triple2 ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule8))] Erin is white.[(((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule7))] Gary is smart.[(((((((((triple3) -> rule2)) -> rule1)) -> rule5) ((((triple3) -> rule2)) -> rule1)) -> rule4))] @5: Anne is round.[(((((triple1 ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule2))] Erin is round.[(((((triple2 ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule2))] Gary is white.[(((((((((triple3) -> rule2)) -> rule1)) -> rule5) ((((((((triple3) -> rule2)) -> rule1)) -> rule5) ((((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
((triple5 ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple5 ((((triple6) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple5 ((((triple6) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple5 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
((triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple7) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple7
((triple4) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple5 ((((triple6) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple5 ((((triple6) -> (rule5 % int5)) ((triple5) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple5 ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple5 ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple6) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple6) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule3 % int3))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2) -> (rule3 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple6) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int5)) ((((triple6) -> (rule5 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple6) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple6) -> (rule5 % int5)) ((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
((triple1 ((((((triple1) -> (rule3 % int4))) -> (rule5 % int3)) ((triple1) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((((triple1) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple1) -> (rule3 % int4))) -> (rule5 % int3)) ((triple1) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((triple2 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4)) ((triple1) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
((((triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) ((triple2) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5