Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is red. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is young. Cold, green people are nice. If Bob is red then Bob is kind. All kind people are young. All cold, green people are blue. If someone is green and young then they are cold. If someone is cold and young then they are green. If someone is kind and cold then they are red. If Bob is green and Bob is kind then Bob is cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Cold, green people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If Bob is red then Bob is kind.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "kind" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All cold, green people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Bob is green and Bob is kind then Bob is cold.
((("Bob" "is" "green" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "cold" "+"))
Charlie is red.
True
1
proof
[(triple9 OR ((triple7 triple6) -> rule7))]
("Charlie" "is" "red" "+")
triple9
((triple7 triple6) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
1
inv-proof
[(triple9 OR ((triple7 triple6) -> rule7))]
("Charlie" "is" "red" "-")
triple9
((triple7 triple6) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is young.
True
2
proof
[(((triple4) -> rule3) OR ((((triple5) -> rule2)) -> rule3))]
("Bob" "is" "young" "+")
((triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule1) OR ((((triple3 triple4) -> rule8) triple3) -> rule1) OR ((triple2 ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) triple3) -> rule1) OR ((((triple3 triple4) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((triple2 ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple3 triple4) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1))]
("Bob" "is" "nice" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3 triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple2 ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple4) -> (rule8 % int5)) ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple3 ((triple4) -> (rule3 % int5))) -> (rule5 % int4)) ((triple2 ((((triple5) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Charlie is green.
True
4
proof
[(((triple6 ((triple7) -> rule3)) -> rule6))]
("Charlie" "is" "green" "+")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple6 ((triple7) -> rule3)) -> rule6))]
("Charlie" "is" "green" "-")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
True
6
proof
[(((triple6 ((triple6 ((triple7) -> rule3)) -> rule6)) -> rule4))]
("Charlie" "is" "blue" "+")
((triple6 ((triple6 ((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((triple6 ((triple6 ((triple7) -> rule3)) -> rule6)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple6 ((triple6 ((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
@0: Bob is blue.[(triple1 OR ((triple2 triple3) -> rule4) OR ((((triple3 triple4) -> rule8) triple3) -> rule4) OR ((triple2 ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule5) triple3) -> rule4) OR ((((triple3 ((triple5) -> rule2)) -> rule8) triple3) -> rule4) OR ((((triple3 triple4) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule4) OR ((triple2 ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) triple3) -> rule4) OR ((((triple3 triple4) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule4) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule4))] Bob is cold.[(triple2 OR ((triple3 triple4) -> rule8) OR ((triple3 ((triple4) -> rule3)) -> rule5) OR ((triple3 ((triple5) -> rule2)) -> rule8) OR ((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5))] Bob is green.[(triple3 OR ((triple2 ((triple4) -> rule3)) -> rule6) OR ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6))] Bob is kind.[(triple4 OR ((triple5) -> rule2))] Bob is red.[(triple5 OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple3 triple4) -> rule8)) -> rule7) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule5)) -> rule7))] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8 OR ((triple6 ((triple6 ((triple7) -> rule3)) -> rule6)) -> rule1))] Charlie is red.[(triple9 OR ((triple7 triple6) -> rule7))] Erin is blue.[(triple10 OR ((triple11 triple12) -> rule4) OR ((triple11 ((triple11 triple16) -> rule6)) -> rule4) OR ((((triple12 triple16) -> rule5) triple12) -> rule4) OR ((((triple12 triple16) -> rule5) ((triple11 triple16) -> rule6)) -> rule4) OR ((triple11 ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule4) OR ((((triple12 ((triple13) -> rule3)) -> rule5) triple12) -> rule4) OR ((((triple12 triple16) -> rule5) ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule4) OR ((((triple12 ((triple13) -> rule3)) -> rule5) ((triple11 triple16) -> rule6)) -> rule4) OR ((((triple12 ((triple13) -> rule3)) -> rule5) ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule4))] Erin is cold.[(triple11 OR ((triple12 triple16) -> rule5) OR ((triple12 ((triple13) -> rule3)) -> rule5))] Erin is green.[(triple12 OR ((triple11 triple16) -> rule6) OR ((triple11 ((triple13) -> rule3)) -> rule6))] Erin is kind.[(triple13)] Erin is nice.[(triple14 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple11 triple16) -> rule6)) -> rule1) OR ((((triple12 triple16) -> rule5) triple12) -> rule1) OR ((((triple12 triple16) -> rule5) ((triple11 triple16) -> rule6)) -> rule1) OR ((triple11 ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule1) OR ((((triple12 ((triple13) -> rule3)) -> rule5) triple12) -> rule1) OR ((((triple12 triple16) -> rule5) ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule1) OR ((((triple12 ((triple13) -> rule3)) -> rule5) ((triple11 triple16) -> rule6)) -> rule1) OR ((((triple12 ((triple13) -> rule3)) -> rule5) ((triple11 ((triple13) -> rule3)) -> rule6)) -> rule1))] Erin is red.[(triple15 OR ((triple13 triple11) -> rule7) OR ((triple13 ((triple12 triple16) -> rule5)) -> rule7) OR ((triple13 ((triple12 ((triple13) -> rule3)) -> rule5)) -> rule7))] Erin is young.[(triple16 OR ((triple13) -> rule3))] @1: Bob is nice.[(((triple2 triple3) -> rule1) OR ((((triple3 triple4) -> rule8) triple3) -> rule1) OR ((triple2 ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) triple3) -> rule1) OR ((((triple3 triple4) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((triple2 ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple3 triple4) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple4) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((triple5) -> rule2)) -> rule8) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule5) ((triple2 ((((triple5) -> rule2)) -> rule3)) -> rule6)) -> rule1))] Bob is young.[(((triple4) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is young.[(((triple7) -> rule3))] @2: Charlie is green.[(((triple6 ((triple7) -> rule3)) -> rule6))] @3: Charlie is blue.[(((triple6 ((triple6 ((triple7) -> rule3)) -> rule6)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple2 triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3 triple4) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple2 ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple4) -> (rule8 % int5)) ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple3 ((triple4) -> (rule3 % int5))) -> (rule5 % int4)) ((triple2 ((((triple5) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple3 ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2 ((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple2 ((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple5) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4 triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple4 ((triple3 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple4 ((triple3 ((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
((triple6 ((triple6 ((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple9
((triple7 triple6) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple10
((triple11 triple12) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple11 ((triple11 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple12 triple16) -> (rule5 % int2)) triple12) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple12 triple16) -> (rule5 % int3)) ((triple11 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple11 ((triple11 ((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple12 ((triple13) -> (rule3 % int3))) -> (rule5 % int2)) triple12) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple12 triple16) -> (rule5 % int4)) ((triple11 ((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple12 ((triple13) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple12 ((triple13) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11 ((triple13) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple11
((triple12 triple16) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule3 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple12
((triple11 triple16) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple11 ((triple13) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
((triple11 triple12) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple11 ((triple11 triple16) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple12 triple16) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple12 triple16) -> (rule5 % int3)) ((triple11 triple16) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple11 ((triple11 ((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple12 ((triple13) -> (rule3 % int3))) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple12 triple16) -> (rule5 % int4)) ((triple11 ((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple12 ((triple13) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11 triple16) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple12 ((triple13) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11 ((triple13) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple15
((triple13 triple11) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple13 ((triple12 triple16) -> (rule5 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple13 ((triple12 ((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple16
((triple13) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3 triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple2 ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple4) -> (rule8 % int5)) ((triple2 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple3 ((triple4) -> (rule3 % int5))) -> (rule5 % int4)) ((triple2 ((((triple5) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
((triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple7) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple6 ((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3