Anne is cold. Anne is rough. Anne is round. Anne is not smart. Charlie is cold. Charlie is round. Charlie is smart. Gary is not furry. Gary is rough. Harry is red. Harry is rough. Harry is smart. White people are round. All rough people are round. All cold people are round. All round people are white. White, round people are red. All white, round people are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
White, round people are red.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All white, round people are red.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Harry is rough.
True
1
proof
[(triple11)]
("Harry" "is" "rough" "+")
triple11
Anne is not round.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))]
("Anne" "is" "round" "-")
triple3
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is white.
True
2
proof
[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))]
("Charlie" "is" "white" "+")
((triple6) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Gary is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "round" "-")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
True
3
proof
[(((((triple9) -> rule2)) -> rule4))]
("Gary" "is" "white" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Anne is not red.
False
4
inv-proof
[(((((triple3) -> rule4) triple3) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6))]
("Anne" "is" "red" "-")
((((triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Gary is red.
True
6
proof
[(((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule6))]
("Gary" "is" "red" "+")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not red.
False
6
inv-proof
[(((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule6))]
("Gary" "is" "red" "-")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is cold.[(triple1)] Anne is not smart.[(triple4)] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] Charlie is cold.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule3))] Charlie is smart.[(triple7)] Gary is not furry.[(triple8)] Gary is rough.[(triple9)] Harry is red.[(triple10 OR ((((((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule5) OR ((((((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule6))] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Anne is white.[(((triple3) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Charlie is white.[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] Gary is round.[(((triple9) -> rule2))] Harry is round.[(((triple11) -> rule2))] @2: Anne is red.[(((((triple3) -> rule4) triple3) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) triple3) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6))] Charlie is red.[(((((triple6) -> rule4) triple6) -> rule5) OR ((((triple6) -> rule4) triple6) -> rule6) OR ((((triple6) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((triple5) -> rule3)) -> rule6) OR ((((((triple5) -> rule3)) -> rule4) triple6) -> rule5) OR ((((((triple5) -> rule3)) -> rule4) triple6) -> rule6) OR ((((((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((((((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule6))] Gary is white.[(((((triple9) -> rule2)) -> rule4))] Harry is white.[(((((triple11) -> rule2)) -> rule4))] @3: Gary is red.[(((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((((((triple11) -> (rule2 % int3))) -> (rule4 % int2)) ((triple11) -> (rule2 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule4 % int2)) ((triple11) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple6) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple6) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple6) -> (rule4 % int3)) ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule3 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3