Anne is cold. Anne is green. Anne is quiet. Anne is rough. Anne is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is white. All red things are cold. If something is white then it is rough. If something is white and rough then it is red. Quiet, red things are green. Red, cold things are nice. White things are rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is white then it is rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is white and rough then it is red.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Quiet, red things are green.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Red, cold things are nice.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
White things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
Harry is white.
True
1
proof
[(triple12)]
("Harry" "is" "white" "+")
triple12
Anne is not white.
False
1
inv-proof
[(triple5)]
("Anne" "is" "white" "-")
triple5
Anne is red.
True
3
proof
[(((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3))]
("Anne" "is" "red" "+")
((triple5 triple4) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not red.
False
3
inv-proof
[(((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3))]
("Anne" "is" "red" "-")
((triple5 triple4) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
True
5
proof
[(((((triple5 triple4) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) triple1) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5))]
("Anne" "is" "nice" "+")
((((triple5 triple4) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 triple4) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is not nice.
False
5
inv-proof
[(((((triple5 triple4) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) triple1) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5))]
("Anne" "is" "nice" "-")
((((triple5 triple4) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 triple4) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
@0: Anne is cold.[(triple1 OR ((((triple5 triple4) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1))] Anne is green.[(triple2 OR ((triple3 ((triple5 triple4) -> rule3)) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule4))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule2) OR ((triple5) -> rule6))] Anne is white.[(triple5)] Harry is cold.[(triple6 OR ((triple10) -> rule1) OR ((((triple12 triple11) -> rule3)) -> rule1) OR ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1))] Harry is green.[(triple7 OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple12 triple11) -> rule3)) -> rule4) OR ((triple9 ((triple12 ((triple12) -> rule2)) -> rule3)) -> rule4) OR ((triple9 ((triple12 ((triple12) -> rule6)) -> rule3)) -> rule4))] Harry is nice.[(triple8 OR ((triple10 triple6) -> rule5) OR ((triple10 ((triple10) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) triple6) -> rule5) OR ((((triple12 triple11) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((triple10 ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) triple6) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) triple6) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((triple10 ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((triple10 ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5))] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple12) -> rule2)) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule3))] Harry is rough.[(triple11 OR ((triple12) -> rule2) OR ((triple12) -> rule6))] Harry is white.[(triple12)] @1: Anne is red.[(((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3))] @2: Anne is nice.[(((((triple5 triple4) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) triple1) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple5 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3 ((triple5 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((triple3 ((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple3 ((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple5) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
((triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12 triple11) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 ((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple9 triple10) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple9 ((triple12 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple12 ((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple9 ((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple8
((triple10 triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12 triple11) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 triple11) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((((triple12 triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 ((triple12) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 triple11) -> (rule3 % int3)) ((((triple12 triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple10 ((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple10 ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 triple11) -> (rule3 % int4)) ((((triple12 ((triple12) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple12 triple11) -> (rule3 % int4)) ((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple12 ((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple12 triple11) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 ((triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((triple12 ((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple12) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple5 triple4) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple5 triple4) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 triple4) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4