Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is young. Bob is blue. Bob is green. Bob is round. Bob is white. Gary is blue. Gary is furry. Gary is young. Harry is blue. Harry is green. Harry is round. All blue things are green. If Gary is young then Gary is blue. All white, green things are blue. If something is green then it is red. Blue, green things are young. If something is blue then it is white. All round, red things are blue. Red, green things are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Gary is young then Gary is blue.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "blue" "+"))
All white, green things are blue.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Blue, green things are young.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All round, red things are blue.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Red, green things are round.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple6 OR ((triple9 triple7) -> rule3) OR ((triple8 ((triple7) -> rule4)) -> rule7) OR ((((((triple7) -> rule4) triple7) -> rule8) ((triple7) -> rule4)) -> rule7))]
("Bob" "is" "blue" "+")
triple6
((triple9 triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple7) -> (rule4 % int3)) triple7) -> (rule8 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Harry is not green.
False
1
inv-proof
[(triple14 OR ((triple13) -> rule1))]
("Harry" "is" "green" "-")
triple14
((triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
True
2
proof
[(((triple13) -> rule6) OR ((((triple15 ((triple14) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple14) -> rule4) triple14) -> rule8) ((triple14) -> rule4)) -> rule7)) -> rule6))]
("Harry" "is" "white" "+")
((triple13) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple14) -> (rule4 % int4)) triple14) -> (rule8 % int3)) ((triple14) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule6) OR ((((triple12) -> rule2)) -> rule6))]
("Gary" "is" "white" "-")
((triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
True
3
proof
[(((((triple10) -> rule1)) -> rule4) OR ((((((triple12) -> rule2)) -> rule1)) -> rule4))]
("Gary" "is" "red" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not red.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule4) OR ((((((triple12) -> rule2)) -> rule1)) -> rule4))]
("Gary" "is" "red" "-")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
True
6
proof
[(((((((triple10) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((triple10) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8))]
("Gary" "is" "round" "+")
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not round.
False
6
inv-proof
[(((((((triple10) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((triple10) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8))]
("Gary" "is" "round" "-")
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule7))] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((((triple1) -> rule1)) -> rule4))] Anne is round.[(triple4 OR ((triple3 ((triple1) -> rule1)) -> rule8) OR ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule8))] Anne is young.[(triple5 OR ((triple1 ((triple1) -> rule1)) -> rule5) OR ((((triple4 triple3) -> rule7) ((triple1) -> rule1)) -> rule5) OR ((triple1 ((((triple4 triple3) -> rule7)) -> rule1)) -> rule5) OR ((((triple4 triple3) -> rule7) ((((triple4 triple3) -> rule7)) -> rule1)) -> rule5))] Bob is blue.[(triple6 OR ((triple9 triple7) -> rule3) OR ((triple8 ((triple7) -> rule4)) -> rule7) OR ((((((triple7) -> rule4) triple7) -> rule8) ((triple7) -> rule4)) -> rule7))] Bob is green.[(triple7 OR ((triple6) -> rule1))] Bob is round.[(triple8 OR ((((triple7) -> rule4) triple7) -> rule8) OR ((((triple7) -> rule4) ((triple6) -> rule1)) -> rule8) OR ((((((triple6) -> rule1)) -> rule4) triple7) -> rule8) OR ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule8))] Bob is white.[(triple9 OR ((triple6) -> rule6) OR ((((triple8 ((triple7) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule4) triple7) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule6))] Gary is blue.[(triple10 OR ((triple12) -> rule2))] Gary is furry.[(triple11)] Gary is young.[(triple12 OR ((triple10 ((triple10) -> rule1)) -> rule5))] Harry is blue.[(triple13 OR ((triple15 ((triple14) -> rule4)) -> rule7) OR ((((((triple14) -> rule4) triple14) -> rule8) ((triple14) -> rule4)) -> rule7))] Harry is green.[(triple14 OR ((triple13) -> rule1))] Harry is round.[(triple15 OR ((((triple14) -> rule4) triple14) -> rule8) OR ((((triple14) -> rule4) ((triple13) -> rule1)) -> rule8) OR ((((((triple13) -> rule1)) -> rule4) triple14) -> rule8) OR ((((((triple13) -> rule1)) -> rule4) ((triple13) -> rule1)) -> rule8))] @1: Anne is green.[(((triple1) -> rule1) OR ((((triple4 triple3) -> rule7)) -> rule1))] Anne is white.[(((triple1) -> rule6) OR ((((triple4 triple3) -> rule7)) -> rule6))] Bob is red.[(((triple7) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Bob is young.[(((triple6 triple7) -> rule5) OR ((triple6 ((triple6) -> rule1)) -> rule5) OR ((((triple9 triple7) -> rule3) triple7) -> rule5) OR ((((triple9 triple7) -> rule3) ((triple6) -> rule1)) -> rule5) OR ((((triple8 ((triple7) -> rule4)) -> rule7) triple7) -> rule5) OR ((((triple8 ((triple7) -> rule4)) -> rule7) ((triple6) -> rule1)) -> rule5) OR ((((((((triple7) -> rule4) triple7) -> rule8) ((triple7) -> rule4)) -> rule7) triple7) -> rule5) OR ((((((((triple7) -> rule4) triple7) -> rule8) ((triple7) -> rule4)) -> rule7) ((triple6) -> rule1)) -> rule5))] Gary is green.[(((triple10) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] Gary is white.[(((triple10) -> rule6) OR ((((triple12) -> rule2)) -> rule6))] Harry is red.[(((triple14) -> rule4) OR ((((triple13) -> rule1)) -> rule4))] Harry is white.[(((triple13) -> rule6) OR ((((triple15 ((triple14) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple14) -> rule4) triple14) -> rule8) ((triple14) -> rule4)) -> rule7)) -> rule6))] Harry is young.[(((triple13 triple14) -> rule5) OR ((triple13 ((triple13) -> rule1)) -> rule5) OR ((((triple15 ((triple14) -> rule4)) -> rule7) triple14) -> rule5) OR ((((triple15 ((triple14) -> rule4)) -> rule7) ((triple13) -> rule1)) -> rule5) OR ((((((((triple14) -> rule4) triple14) -> rule8) ((triple14) -> rule4)) -> rule7) triple14) -> rule5) OR ((((((((triple14) -> rule4) triple14) -> rule8) ((triple14) -> rule4)) -> rule7) ((triple13) -> rule1)) -> rule5))] @2: Gary is red.[(((((triple10) -> rule1)) -> rule4) OR ((((((triple12) -> rule2)) -> rule1)) -> rule4))] @3: Gary is round.[(((((((triple10) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((triple10) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((triple10) -> rule1)) -> rule8) OR ((((((((triple12) -> rule2)) -> rule1)) -> rule4) ((((triple12) -> rule2)) -> rule1)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 triple3) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple3 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int3))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4 triple3) -> (rule7 % int3)) ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple4 triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple4 triple3) -> (rule7 % int3)) ((((triple4 triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
triple6
((triple9 triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple7) -> (rule4 % int3)) triple7) -> (rule8 % int2)) ((triple7) -> (rule4 % int3))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple8
((((triple7) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple6) -> (rule1 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple6) -> (rule1 % int3))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
triple9
((triple6) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((((triple7) -> (rule4 % int4)) triple7) -> (rule8 % int3)) ((triple7) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple12) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple10 ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple13
((triple15 ((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple14) -> (rule4 % int3)) triple14) -> (rule8 % int2)) ((triple14) -> (rule4 % int3))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple14
((triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
((((triple14) -> (rule4 % int2)) triple14) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple14) -> (rule4 % int3)) ((triple13) -> (rule1 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13) -> (rule1 % int3))) -> (rule4 % int2)) triple14) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple13) -> (rule1 % int3))) -> (rule4 % int2)) ((triple13) -> (rule1 % int3))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4 triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple4 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple7) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple9 triple7) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple9 triple7) -> (rule3 % int3)) ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple8 ((triple7) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple7) -> (rule4 % int4)) triple7) -> (rule8 % int3)) ((triple7) -> (rule4 % int4))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple7) -> (rule4 % int5)) triple7) -> (rule8 % int4)) ((triple7) -> (rule4 % int5))) -> (rule7 % int3)) ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple14) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((triple13) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple14) -> (rule4 % int4)) triple14) -> (rule8 % int3)) ((triple14) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple13 triple14) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple13 ((triple13) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple15 ((triple14) -> (rule4 % int4))) -> (rule7 % int3)) ((triple13) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple14) -> (rule4 % int4)) triple14) -> (rule8 % int3)) ((triple14) -> (rule4 % int4))) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple14) -> (rule4 % int5)) triple14) -> (rule8 % int4)) ((triple14) -> (rule4 % int5))) -> (rule7 % int3)) ((triple13) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule2 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4