Anne is nice. Anne is white. Bob is red. Bob is round. Charlie is blue. Charlie is smart. Gary is blue. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is red and Gary is nice then Gary is blue. All round people are quiet. If someone is red then they are blue. All red people are nice. All quiet, red people are round. All blue, round people are quiet. Blue people are smart. If someone is white and smart then they are quiet. If someone is white then they are red.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is red and Gary is nice then Gary is blue.
((("Gary" "is" "red" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "blue" "+"))
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All quiet, red people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All blue, round people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is white and smart then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule3) OR ((((triple11) -> rule9)) -> rule3) OR ((triple8 ((triple8) -> rule4)) -> rule1) OR ((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1) OR ((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1) OR ((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1))]
("Gary" "is" "blue" "-")
triple7
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple8 ((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11) -> (rule9 % int3)) ((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Anne is red.
True
2
proof
[(((triple2) -> rule9))]
("Anne" "is" "red" "+")
((triple2) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple9) -> rule2) OR ((triple11 triple10) -> rule8) OR ((triple7 triple9) -> rule6) OR ((triple11 ((triple7) -> rule7)) -> rule8) OR ((((triple8) -> rule3) triple9) -> rule6) OR ((triple11 ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple11) -> rule9)) -> rule3) triple9) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule1) triple9) -> rule6) OR ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((((triple11) -> rule9)) -> rule3)) -> rule7)) -> rule8) OR ((triple11 ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((triple11 ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8))]
("Gary" "is" "quiet" "-")
((triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 triple10) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple7 triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 ((triple7) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple11 ((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple11) -> (rule9 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11) -> (rule9 % int4)) ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple8 ((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple8 ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int5)) ((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple11) -> (rule9 % int4)) ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple8 ((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple11 ((((((triple11) -> (rule9 % int5)) ((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Anne is blue.
True
3
proof
[(((((triple2) -> rule9)) -> rule3))]
("Anne" "is" "blue" "+")
((((triple2) -> (rule9 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is not smart.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule7))]
("Bob" "is" "smart" "-")
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Anne is smart.
True
4
proof
[(((((((triple2) -> rule9)) -> rule3)) -> rule7))]
("Anne" "is" "smart" "+")
((((((triple2) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is not smart.
False
4
inv-proof
[(((((((triple2) -> rule9)) -> rule3)) -> rule7))]
("Anne" "is" "smart" "-")
((((((triple2) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
True
6
proof
[(((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8))]
("Anne" "is" "quiet" "+")
((triple2 ((((((triple2) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is not quiet.
False
6
inv-proof
[(((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8))]
("Anne" "is" "quiet" "-")
((triple2 ((((((triple2) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
True
9
proof
[(((((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8) ((triple2) -> rule9)) -> rule5))]
("Anne" "is" "round" "+")
((((triple2 ((((((triple2) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple2) -> (rule9 % int5))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is not round.
False
9
inv-proof
[(((((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8) ((triple2) -> rule9)) -> rule5))]
("Anne" "is" "round" "-")
((((triple2 ((((((triple2) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple2) -> (rule9 % int5))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule9 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not quiet.
Unknown
inv-rconc
[@3: Charlie is quiet.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is nice.[(triple1 OR ((((triple2) -> rule9)) -> rule4))] Anne is white.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule7))] Gary is blue.[(triple7 OR ((triple8) -> rule3) OR ((((triple11) -> rule9)) -> rule3) OR ((triple8 ((triple8) -> rule4)) -> rule1) OR ((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1) OR ((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1) OR ((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1))] Gary is red.[(triple8 OR ((triple11) -> rule9))] Gary is round.[(triple9 OR ((((triple11 triple10) -> rule8) triple8) -> rule5) OR ((((triple11 triple10) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((triple7) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((triple7) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((triple8) -> rule3)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((triple8) -> rule3)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((((triple11) -> rule9)) -> rule3)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((((triple11) -> rule9)) -> rule3)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5) OR ((((triple11 ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) triple8) -> rule5) OR ((((triple11 ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) ((triple11) -> rule9)) -> rule5))] Gary is smart.[(triple10 OR ((triple7) -> rule7) OR ((((triple8) -> rule3)) -> rule7) OR ((((((triple11) -> rule9)) -> rule3)) -> rule7) OR ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1)) -> rule7) OR ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7))] Gary is white.[(triple11)] @1: Anne is red.[(((triple2) -> rule9))] Bob is blue.[(((triple3) -> rule3))] Bob is nice.[(((triple3) -> rule4))] Bob is quiet.[(((triple4) -> rule2) OR ((((triple3) -> rule3) triple4) -> rule6))] Gary is nice.[(((triple8) -> rule4) OR ((((triple11) -> rule9)) -> rule4))] Gary is quiet.[(((triple9) -> rule2) OR ((triple11 triple10) -> rule8) OR ((triple7 triple9) -> rule6) OR ((triple11 ((triple7) -> rule7)) -> rule8) OR ((((triple8) -> rule3) triple9) -> rule6) OR ((triple11 ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple11) -> rule9)) -> rule3) triple9) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule1) triple9) -> rule6) OR ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((((triple11) -> rule9)) -> rule3)) -> rule7)) -> rule8) OR ((triple11 ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((((triple11) -> rule9) ((triple8) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1) triple9) -> rule6) OR ((triple11 ((((triple8 ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8) OR ((triple11 ((((((triple11) -> rule9) ((((triple11) -> rule9)) -> rule4)) -> rule1)) -> rule7)) -> rule8))] @2: Anne is blue.[(((((triple2) -> rule9)) -> rule3))] Bob is smart.[(((((triple3) -> rule3)) -> rule7))] @3: Anne is smart.[(((((((triple2) -> rule9)) -> rule3)) -> rule7))] @4: Anne is quiet.[(((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8))] @5: Anne is round.[(((((triple2 ((((((triple2) -> rule9)) -> rule3)) -> rule7)) -> rule8) ((triple2) -> rule9)) -> rule5))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple5) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple8 ((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11) -> (rule9 % int3)) ((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple11) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple9
((((triple11 triple10) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple11 triple10) -> (rule8 % int3)) ((triple11) -> (rule9 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11 ((triple7) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple11 ((triple7) -> (rule7 % int4))) -> (rule8 % int3)) ((triple11) -> (rule9 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple11 ((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple11 ((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple11) -> (rule9 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple11 ((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple11 ((((triple8 ((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple11 ((((((triple11) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple11) -> (rule9 % int5))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple11 ((((triple8 ((triple8) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple11) -> (rule9 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple11 ((((((triple11) -> (rule9 % int6)) ((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((triple11 ((((((triple11) -> (rule9 % int6)) ((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple11) -> (rule9 % int6))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((triple11 ((((triple8 ((((triple11) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((triple11 ((((triple8 ((((triple11) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple11) -> (rule9 % int6))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((triple11 ((((((triple11) -> (rule9 % int6)) ((((triple11) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
((((triple11 ((((((triple11) -> (rule9 % int6)) ((((triple11) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple11) -> (rule9 % int6))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
int6
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple7) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple11) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11) -> (rule9 % int4)) ((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple8 ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple11) -> (rule9 % int4)) ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple11
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple11) -> (rule9 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 triple10) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple7 triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 ((triple7) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple11 ((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple11) -> (rule9 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11) -> (rule9 % int4)) ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple8 ((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple8 ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((((triple11) -> (rule9 % int5)) ((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple11) -> (rule9 % int4)) ((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple11 ((((triple8 ((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple11 ((((((triple11) -> (rule9 % int5)) ((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
((((triple2) -> (rule9 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple2) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 ((((((triple2) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((triple2 ((((((triple2) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple2) -> (rule9 % int5))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5