Anne is green. Anne is kind. Anne is nice. Anne is red. Dave is quiet. Gary is green. Gary is quiet. Gary is red. Harry is green. Harry is kind. Harry is round. All red, blue things are kind. Quiet things are green. Green things are blue. Nice, quiet things are red. If something is round then it is kind. Blue things are red. If something is kind and blue then it is nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
All red, blue things are kind.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Nice, quiet things are red.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is kind and blue then it is nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Gary is blue.
True
2
proof
[(((triple6) -> rule3) OR ((((triple7) -> rule2)) -> rule3))]
("Gary" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is blue.
True
3
proof
[(((((triple5) -> rule2)) -> rule3))]
("Dave" "is" "blue" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Harry is not red.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule6))]
("Harry" "is" "red" "-")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Gary is nice.
True
7
proof
[(((((triple8 ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7))]
("Gary" "is" "nice" "+")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple8 ((triple6) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((triple6) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is not nice.
False
7
inv-proof
[(((((triple8 ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7))]
("Gary" "is" "nice" "-")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple8 ((triple6) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((triple6) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Dave is kind.
True
8
proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "kind" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not kind.
False
8
inv-proof
[(((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "kind" "-")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
True
12
proof
[(((((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule7))]
("Dave" "is" "nice" "+")
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is not nice.
False
12
inv-proof
[(((((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule7))]
("Dave" "is" "nice" "-")
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple4 ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule1))] Anne is nice.[(triple3 OR ((triple2 ((triple1) -> rule3)) -> rule7) OR ((((triple4 ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule7))] Anne is red.[(triple4 OR ((((triple1) -> rule3)) -> rule6))] Dave is quiet.[(triple5)] Gary is green.[(triple6 OR ((triple7) -> rule2))] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((((triple6) -> rule3)) -> rule6) OR ((((((triple7) -> rule2)) -> rule3)) -> rule6))] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple11) -> rule5) OR ((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule1))] Harry is round.[(triple11)] @1: Anne is blue.[(((triple1) -> rule3))] Dave is green.[(((triple5) -> rule2))] Gary is blue.[(((triple6) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Harry is blue.[(((triple9) -> rule3))] @2: Dave is blue.[(((((triple5) -> rule2)) -> rule3))] Gary is kind.[(((triple8 ((triple6) -> rule3)) -> rule1) OR ((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1))] Harry is nice.[(((triple10 ((triple9) -> rule3)) -> rule7) OR ((((triple11) -> rule5) ((triple9) -> rule3)) -> rule7) OR ((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule1) ((triple9) -> rule3)) -> rule7))] Harry is red.[(((((triple9) -> rule3)) -> rule6))] @3: Dave is red.[(((((((triple5) -> rule2)) -> rule3)) -> rule6))] Gary is nice.[(((((triple8 ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((triple8 ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((triple6) -> rule3)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule1) ((((triple7) -> rule2)) -> rule3)) -> rule7))] @4: Dave is kind.[(((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1))] @5: Dave is nice.[(((((((((((triple5) -> rule2)) -> rule3)) -> rule6) ((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple4 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule3 % int3))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple2 ((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 ((triple1) -> (rule3 % int3))) -> (rule1 % int2)) ((triple1) -> (rule3 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1) -> (rule3 % int4))) -> (rule1 % int2)) ((triple1) -> (rule3 % int4))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple4
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple9) -> (rule3 % int3))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple11
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple8 ((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple11) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((((triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple9) -> (rule3 % int4))) -> (rule1 % int2)) ((triple9) -> (rule3 % int4))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple8 ((triple6) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8 ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((triple6) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((triple6) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int2)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5