Bob is cold. Bob is green. Bob is kind. Bob is round. Charlie is blue. Charlie is green. Erin is kind. Furry, green people are blue. If Bob is cold and Bob is kind then Bob is furry. If someone is kind then they are cold. All green people are young. Green, young people are kind. All cold people are blue. If Erin is furry and Erin is kind then Erin is blue. If Bob is cold and Bob is furry then Bob is green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Furry, green people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Bob is cold and Bob is kind then Bob is furry.
((("Bob" "is" "cold" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "furry" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Green, young people are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Erin is furry and Erin is kind then Erin is blue.
((("Erin" "is" "furry" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "blue" "+"))
If Bob is cold and Bob is furry then Bob is green.
((("Bob" "is" "cold" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "green" "+"))
Erin is kind.
True
1
proof
[(triple7)]
("Erin" "is" "kind" "+")
triple7
Charlie is not green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "-")
triple6
Bob is blue.
True
2
proof
[(((triple1) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1))]
("Bob" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple1 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 triple3) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((triple1 ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3) -> (rule3 % int5)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple1 triple3) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((triple1 ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int6)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int6)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is not furry.
False
3
inv-proof
[(((triple1 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2) OR ((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2))]
("Bob" "is" "furry" "-")
((triple1 triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple1 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Charlie is kind.
True
4
proof
[(((triple6 ((triple6) -> rule4)) -> rule5))]
("Charlie" "is" "kind" "+")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple6 ((triple6) -> rule4)) -> rule5))]
("Charlie" "is" "kind" "-")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
True
5
proof
[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3))]
("Charlie" "is" "cold" "+")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not cold.
False
5
inv-proof
[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3))]
("Charlie" "is" "cold" "-")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is cold.[(triple1 OR ((triple3) -> rule3) OR ((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3))] Bob is green.[(triple2 OR ((triple1 ((triple1 triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8) OR ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8))] Bob is kind.[(triple3 OR ((triple2 ((triple2) -> rule4)) -> rule5))] Bob is round.[(triple4)] Charlie is blue.[(triple5 OR ((((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3)) -> rule6))] Charlie is green.[(triple6)] Erin is kind.[(triple7)] @1: Bob is blue.[(((triple1) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) triple2) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule1))] Bob is furry.[(((triple1 triple3) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2) OR ((triple1 ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule5)) -> rule2))] Bob is young.[(((triple2) -> rule4) OR ((((triple1 ((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule2)) -> rule8)) -> rule4))] Charlie is young.[(((triple6) -> rule4))] Erin is cold.[(((triple7) -> rule3))] @2: Charlie is kind.[(((triple6 ((triple6) -> rule4)) -> rule5))] Erin is blue.[(((((triple7) -> rule3)) -> rule6))] @3: Charlie is cold.[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple1 ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((((((triple6 ((triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple1 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 triple3) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((triple1 ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3) -> (rule3 % int5)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple1 triple3) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((triple1 ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((triple1 ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3)) triple3) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int6)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int6)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple2 ((triple2) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int6))) -> (rule5 % int5))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple1 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple1 ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4)) triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((triple6) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3