Dave is red. Dave is rough. Dave is smart. Erin is rough. Fiona is green. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is white. Gary is young. If someone is white and green then they are cold. All rough people are red. Red, young people are green. If someone is cold and red then they are white. Red, rough people are young. If someone is green and young then they are white. All white people are young.
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is white and green then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Red, young people are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and red then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Red, rough people are young.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young then they are white.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple12 OR ((triple11) -> rule7) OR ((triple8 triple9) -> rule5) OR ((((triple6 triple8) -> rule4)) -> rule7) OR ((((triple9) -> rule2) triple9) -> rule5) OR ((((triple6 ((triple9) -> rule2)) -> rule4)) -> rule7))]
("Gary" "is" "young" "+")
triple12
((triple11) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple8 triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple6 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple6 ((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Dave is not rough.
False
1
inv-proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Erin is red.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "red" "+")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "red" "-")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is green.
True
5
proof
[(((triple1 ((triple1 triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) OR ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3))]
("Dave" "is" "green" "+")
((triple1 ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple1 ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not green.
False
5
inv-proof
[(((triple1 ((triple1 triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) OR ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3))]
("Dave" "is" "green" "-")
((triple1 ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple1 ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
True
9
proof
[(((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]
("Dave" "is" "white" "+")
((((triple1 ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int4))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple1 ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple1 ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Erin is not green.
False
7
inv-proof
[(((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3))]
("Erin" "is" "green" "-")
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Dave is cold.
True
15
proof
[(((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1))]
("Dave" "is" "cold" "+")
((((((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((triple1 ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Erin is not white.
False
12
inv-proof
[(((((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3) ((((triple4) -> rule2) triple4) -> rule5)) -> rule6))]
("Erin" "is" "white" "-")
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple4) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
True
20
proof
[(((((((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3) ((((triple4) -> rule2) triple4) -> rule5)) -> rule6) ((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3)) -> rule1))]
("Erin" "is" "cold" "+")
((((((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not cold.
False
20
inv-proof
[(((((((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3) ((((triple4) -> rule2) triple4) -> rule5)) -> rule6) ((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3)) -> rule1))]
("Erin" "is" "cold" "-")
((((((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is young.
Unknown
rconc
[@3: Fiona is young.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not cold.
Unknown
inv-rconc
[@4: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule7 <- rule4 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is white.
Unknown
rconc
[@4: Fiona is white.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is red.[(triple1 OR ((triple2) -> rule2))] Dave is rough.[(triple2)] Dave is smart.[(triple3)] Erin is rough.[(triple4)] Fiona is green.[(triple5)] Gary is cold.[(triple6 OR ((triple11 triple7) -> rule1) OR ((triple11 ((triple8 triple12) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) triple7) -> rule1) OR ((((triple7 triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((triple11 ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((triple11 ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((triple11 ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((triple11 ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((triple11 ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((triple7 triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((triple11 ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((triple11 ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((((triple7 triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((triple7 ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) triple7) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) triple12) -> rule3)) -> rule1) OR ((((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3)) -> rule1))] Gary is green.[(triple7 OR ((triple8 triple12) -> rule3) OR ((triple8 ((triple11) -> rule7)) -> rule3) OR ((triple8 ((triple8 triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule2) triple12) -> rule3) OR ((((triple9) -> rule2) ((triple11) -> rule7)) -> rule3) OR ((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) OR ((triple8 ((((triple6 triple8) -> rule4)) -> rule7)) -> rule3) OR ((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule2) ((((triple6 triple8) -> rule4)) -> rule7)) -> rule3) OR ((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) OR ((triple8 ((((triple6 ((triple9) -> rule2)) -> rule4)) -> rule7)) -> rule3) OR ((((triple9) -> rule2) ((((triple6 ((triple9) -> rule2)) -> rule4)) -> rule7)) -> rule3))] Gary is red.[(triple8 OR ((triple9) -> rule2))] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11 OR ((triple6 triple8) -> rule4) OR ((triple7 triple12) -> rule6) OR ((triple6 ((triple9) -> rule2)) -> rule4) OR ((triple7 ((triple8 triple9) -> rule5)) -> rule6) OR ((((triple8 triple12) -> rule3) triple12) -> rule6) OR ((((triple8 triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((triple7 ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((triple8 ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) OR ((((((triple9) -> rule2) triple12) -> rule3) triple12) -> rule6) OR ((((triple8 triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) triple12) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) triple12) -> rule6) OR ((((triple8 ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) triple12) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) OR ((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) triple12) -> rule6) OR ((((triple8 ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((triple8 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2) ((((triple9) -> rule2) triple9) -> rule5)) -> rule3) ((((triple9) -> rule2) triple9) -> rule5)) -> rule6))] Gary is young.[(triple12 OR ((triple11) -> rule7) OR ((triple8 triple9) -> rule5) OR ((((triple6 triple8) -> rule4)) -> rule7) OR ((((triple9) -> rule2) triple9) -> rule5) OR ((((triple6 ((triple9) -> rule2)) -> rule4)) -> rule7))] @1: Dave is young.[(((triple1 triple2) -> rule5) OR ((((triple2) -> rule2) triple2) -> rule5))] Erin is red.[(((triple4) -> rule2))] @2: Dave is green.[(((triple1 ((triple1 triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) OR ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3))] Erin is young.[(((((triple4) -> rule2) triple4) -> rule5))] @3: Dave is white.[(((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6))] Erin is green.[(((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3))] @4: Dave is cold.[(((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((triple1 triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((triple1 triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule5)) -> rule6) ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule5)) -> rule3)) -> rule1))] Erin is white.[(((((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3) ((((triple4) -> rule2) triple4) -> rule5)) -> rule6))] @5: Erin is cold.[(((((((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3) ((((triple4) -> rule2) triple4) -> rule5)) -> rule6) ((((triple4) -> rule2) ((((triple4) -> rule2) triple4) -> rule5)) -> rule3)) -> rule1))]
Dave is red.
("Dave" "is" "red" "+")
triple1
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((triple11 triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple11 ((triple8 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple7 triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple7 triple12) -> (rule6 % int3)) ((triple8 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple11 ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple11 ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple11 ((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple7 ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple8 triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple11 ((((triple9) -> (rule2 % int4)) ((triple11) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 triple12) -> (rule6 % int4)) ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 triple12) -> (rule6 % int4)) ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 triple12) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8 triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple7 triple12) -> (rule6 % int5)) ((((triple9) -> (rule2 % int4)) ((triple11) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7 triple12) -> (rule6 % int5)) ((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7 ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple7 ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple7 ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((triple11) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8 triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8 triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8 triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple7 ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((triple11) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple7 ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) triple12) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((triple11) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) triple12) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8 triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8 triple12) -> (rule3 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple11) -> (rule7 % int4))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple11 ((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 triple12) -> (rule6 % int5)) ((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 triple12) -> (rule6 % int5)) ((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7 ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4)) ((triple8 ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) triple12) -> (rule6 % int4)) ((triple8 ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((triple11) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) triple12) -> (rule6 % int4)) ((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple8 ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int4)) ((triple11) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((triple8 ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) triple12) -> (rule6 % int3)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 triple12) -> (rule3 % int5)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple9) -> (rule2 % int2)) ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int3)) ((triple11) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((triple8 triple9) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) triple12) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((triple8 ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple11) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple9) -> (rule2 % int5)) ((((triple9) -> (rule2 % int5)) triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple8 triple12) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple8 ((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple8 ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple8 ((((triple6 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9) -> (rule2 % int4)) ((((triple6 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple8 ((((triple6 ((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple9) -> (rule2 % int4)) ((((triple6 ((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple9) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
((triple6 triple8) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple7 triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple6 ((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple7 ((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple8 triple12) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple8 triple12) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple7 ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple8 triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3)) ((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple8 ((triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int4))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple9) -> (rule2 % int4)) triple12) -> (rule3 % int3)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple8 ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple11) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple8 triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple6 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple6 ((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple1 triple2) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple1 ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple1 ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((((triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple1 ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int4))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple1 ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple1 ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((triple1 ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple2) -> (rule5 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((triple1 triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((triple1 ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple1 triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((((triple2) -> (rule2 % int5)) triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple4) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule6 % int2)) ((((triple4) -> (rule2 % int5)) ((((triple4) -> (rule2 % int5)) triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5