Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Harry is young. All quiet, cold people are smart. If Charlie is young and Charlie is quiet then Charlie is smart. If someone is cold and smart then they are kind. Blue people are young. All smart, young people are cold. Cold, blue people are young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet, cold people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is young and Charlie is quiet then Charlie is smart.
((("Charlie" "is" "young" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is cold and smart then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All smart, young people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Cold, blue people are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Harry is blue.
True
1
proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple3 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple4 triple2) -> rule1)) -> rule3) OR ((triple2 ((triple7 triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3))]
("Charlie" "is" "kind" "-")
triple3
((triple2 triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple2 ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple5 triple7) -> (rule5 % int3)) ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple5 triple7) -> (rule5 % int3)) ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple2 ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple2 ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple5 ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 triple7) -> (rule5 % int4)) ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 triple7) -> (rule5 % int4)) ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) triple7) -> (rule5 % int3)) ((((triple1) -> (rule4 % int2)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) triple7) -> (rule5 % int3)) ((((triple2 triple1) -> (rule6 % int2)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple5 triple7) -> rule5) OR ((triple5 ((triple1) -> rule4)) -> rule5) OR ((((triple7 triple4) -> rule2) triple7) -> rule5) OR ((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) OR ((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5))] Charlie is kind.[(triple3 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple4 triple2) -> rule1)) -> rule3) OR ((triple2 ((triple7 triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((triple2 ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple7 triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) triple7) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple4 triple2) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((triple7 triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4) triple4) -> rule2) ((triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule6) triple4) -> rule2)) -> rule3))] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple7 triple4) -> rule2) OR ((((triple1) -> rule4) triple4) -> rule2) OR ((((triple2 triple1) -> rule6) triple4) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule4) OR ((triple2 triple1) -> rule6))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple12 triple14) -> rule5) OR ((triple12 ((triple8) -> rule4)) -> rule5))] Harry is kind.[(triple10 OR ((triple9 triple12) -> rule3) OR ((triple9 ((triple11 triple9) -> rule1)) -> rule3) OR ((((triple12 triple14) -> rule5) triple12) -> rule3) OR ((((triple12 triple14) -> rule5) ((triple11 triple9) -> rule1)) -> rule3) OR ((((triple12 ((triple8) -> rule4)) -> rule5) triple12) -> rule3) OR ((((triple12 ((triple8) -> rule4)) -> rule5) ((triple11 triple9) -> rule1)) -> rule3))] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple9) -> rule1))] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple8) -> rule4) OR ((triple9 triple8) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple5 triple7) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple5 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple7 triple4) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7 triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple2 triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple2 ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple5 triple7) -> (rule5 % int3)) ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple5 triple7) -> (rule5 % int3)) ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple2 ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple2 ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple5 ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 triple7) -> (rule5 % int4)) ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 triple7) -> (rule5 % int4)) ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7 triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple5 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) triple7) -> (rule5 % int3)) ((((triple1) -> (rule4 % int2)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) triple7) -> (rule5 % int3)) ((((triple2 triple1) -> (rule6 % int2)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule4 % int3)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int3)) triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((triple4 triple2) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((triple7 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple4) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule5 % int2)) ((((triple2 triple1) -> (rule6 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple4 triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7 triple4) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple1) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
((triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 triple1) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple12 triple14) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple12 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple9 triple12) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple9 ((triple11 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12 triple14) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12 triple14) -> (rule5 % int3)) ((triple11 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple12 ((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple12 ((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple11 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((triple11 triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple14
((triple8) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple9 triple8) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1