Dave is green. Dave is kind. Dave is young. Erin is cold. Erin is green. Erin is nice. Gary is blue. Gary is green. Gary is kind. Gary is young. All kind, green things are blue. All nice things are blue. All green, cold things are young. If something is nice then it is green. If something is kind then it is nice. If something is round and young then it is cold. All young things are blue. If something is blue and nice then it is round.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind, green things are blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All green, cold things are young.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is round and young then it is cold.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is blue and nice then it is round.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Erin is cold.
True
1
proof
[(triple4)]
("Erin" "is" "cold" "+")
triple4
Erin is not nice.
False
1
inv-proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Erin is young.
True
3
proof
[(((triple5 triple4) -> rule3) OR ((((triple6) -> rule4) triple4) -> rule3))]
("Erin" "is" "young" "+")
((triple5 triple4) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple6) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not blue.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule7) OR ((((((triple6) -> rule4) triple4) -> rule3)) -> rule7))]
("Erin" "is" "blue" "-")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple6) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
True
4
proof
[(((((triple6) -> rule2) triple6) -> rule8) OR ((((((triple5 triple4) -> rule3)) -> rule7) triple6) -> rule8) OR ((((((((triple6) -> rule4) triple4) -> rule3)) -> rule7) triple6) -> rule8))]
("Erin" "is" "round" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple5 triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple6) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Dave is not round.
False
5
inv-proof
[(((((triple3) -> rule7) ((triple2) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple2) -> rule5)) -> rule8) OR ((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8) OR ((((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1) ((triple2) -> rule5)) -> rule8))]
("Dave" "is" "round" "-")
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple2 ((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
True
7
proof
[(((((((triple3) -> rule7) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 triple1) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6))]
("Dave" "is" "cold" "+")
((((((triple3) -> (rule7 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple1) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not cold.
False
7
inv-proof
[(((((((triple3) -> rule7) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 triple1) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6))]
("Dave" "is" "cold" "-")
((((((triple3) -> (rule7 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple1) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
@0: Dave is green.[(triple1 OR ((((triple2) -> rule5)) -> rule4))] Dave is kind.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple6) -> rule4))] Erin is nice.[(triple6)] Gary is blue.[(triple7 OR ((triple10) -> rule7) OR ((triple9 triple8) -> rule1) OR ((((triple9) -> rule5)) -> rule2) OR ((triple9 ((((triple9) -> rule5)) -> rule4)) -> rule1))] Gary is green.[(triple8 OR ((((triple9) -> rule5)) -> rule4))] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Dave is blue.[(((triple3) -> rule7) OR ((triple2 triple1) -> rule1) OR ((((triple2) -> rule5)) -> rule2) OR ((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1))] Dave is nice.[(((triple2) -> rule5))] Erin is blue.[(((triple6) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule7) OR ((((((triple6) -> rule4) triple4) -> rule3)) -> rule7))] Erin is young.[(((triple5 triple4) -> rule3) OR ((((triple6) -> rule4) triple4) -> rule3))] Gary is nice.[(((triple9) -> rule5))] @2: Dave is round.[(((((triple3) -> rule7) ((triple2) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple2) -> rule5)) -> rule8) OR ((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8) OR ((((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1) ((triple2) -> rule5)) -> rule8))] Erin is round.[(((((triple6) -> rule2) triple6) -> rule8) OR ((((((triple5 triple4) -> rule3)) -> rule7) triple6) -> rule8) OR ((((((((triple6) -> rule4) triple4) -> rule3)) -> rule7) triple6) -> rule8))] Gary is round.[(((triple7 ((triple9) -> rule5)) -> rule8) OR ((((triple10) -> rule7) ((triple9) -> rule5)) -> rule8) OR ((((triple9 triple8) -> rule1) ((triple9) -> rule5)) -> rule8) OR ((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule8) OR ((((triple9 ((((triple9) -> rule5)) -> rule4)) -> rule1) ((triple9) -> rule5)) -> rule8))] @3: Dave is cold.[(((((((triple3) -> rule7) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 triple1) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8) triple3) -> rule6) OR ((((((triple2 ((((triple2) -> rule5)) -> rule4)) -> rule1) ((triple2) -> rule5)) -> rule8) triple3) -> rule6))] Gary is cold.[(((((triple7 ((triple9) -> rule5)) -> rule8) triple10) -> rule6) OR ((((((triple10) -> rule7) ((triple9) -> rule5)) -> rule8) triple10) -> rule6) OR ((((((triple9 triple8) -> rule1) ((triple9) -> rule5)) -> rule8) triple10) -> rule6) OR ((((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule8) triple10) -> rule6) OR ((((((triple9 ((((triple9) -> rule5)) -> rule4)) -> rule1) ((triple9) -> rule5)) -> rule8) triple10) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple9 triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple9 ((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple8
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple2 ((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple6) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple5 triple4) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple6) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple2 ((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple5 triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple6) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((triple7 ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple9 triple8) -> (rule1 % int3)) ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9) -> (rule5 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple9 ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule5 % int4))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple3) -> (rule7 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple2 triple1) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple2 ((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7 ((triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple9 triple8) -> (rule1 % int4)) ((triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9) -> (rule5 % int4))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple9 ((((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int5))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5