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