Bob is green. Bob is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is red. If Bob is white and Bob is cold then Bob is kind. If something is green then it is big. All red, kind things are white. All big things are cold. If Dave is green and Dave is cold then Dave is white. If Charlie is big then Charlie is kind. If something is white and blue then it is kind. If Dave is white and Dave is cold then Dave is blue.
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
If Bob is white and Bob is cold then Bob is kind.
((("Bob" "is" "white" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "kind" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All red, kind things are white.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If Dave is green and Dave is cold then Dave is white.
((("Dave" "is" "green" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "white" "+"))
If Charlie is big then Charlie is kind.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "kind" "+"))
If something is white and blue then it is kind.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Dave is white and Dave is cold then Dave is blue.
((("Dave" "is" "white" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple9 OR ((((triple11 triple10) -> rule5) triple10) -> rule8) OR ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8) OR ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8))]
("Dave" "is" "blue" "+")
triple9
((((triple11 triple10) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 triple10) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is not blue.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "blue" "-")
triple3
Bob is big.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "big" "-")
((triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Bob is cold.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("Bob" "is" "cold" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((((triple11 triple10) -> rule5) triple9) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) triple9) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple9) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7))]
("Dave" "is" "kind" "-")
((((triple11 triple10) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 triple10) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 triple10) -> (rule5 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 triple10) -> (rule5 % int5)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int5)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 triple10) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4 OR ((((triple5) -> rule2)) -> rule4))] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((((triple5) -> rule2)) -> rule6))] Charlie is red.[(triple7)] Dave is big.[(triple8 OR ((triple11) -> rule2))] Dave is blue.[(triple9 OR ((((triple11 triple10) -> rule5) triple10) -> rule8) OR ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8) OR ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8))] Dave is cold.[(triple10 OR ((triple8) -> rule4) OR ((((triple11) -> rule2)) -> rule4))] Dave is green.[(triple11)] Dave is red.[(triple12)] @1: Bob is big.[(((triple1) -> rule2))] Charlie is big.[(((triple5) -> rule2))] Charlie is white.[(((triple7 triple6) -> rule3) OR ((triple7 ((((triple5) -> rule2)) -> rule6)) -> rule3))] Dave is white.[(((triple11 triple10) -> rule5) OR ((triple11 ((triple8) -> rule4)) -> rule5) OR ((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule4))] Dave is kind.[(((((triple11 triple10) -> rule5) triple9) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) triple9) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple9) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 triple10) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 triple10) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) triple10) -> rule8)) -> rule7) OR ((((triple11 ((triple8) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule5) ((((triple11) -> rule2)) -> rule4)) -> rule8)) -> rule7))] @3: Bob is kind.[(((triple2 ((((triple1) -> rule2)) -> rule4)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple11) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
((((triple11 triple10) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 triple10) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple10
((triple8) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7 triple6) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple7 ((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((triple11 triple10) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple11 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple11 triple10) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple11 triple10) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 triple10) -> (rule5 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 triple10) -> (rule5 % int5)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 triple10) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int3))) -> (rule5 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int5)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 triple10) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 triple10) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 triple10) -> (rule5 % int5)) ((((triple11 ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) ((((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11 ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11 ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3