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