Anne is quiet. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Erin is green. Erin is quiet. Erin is rough. Erin is white. Erin is young. Gary is blue. Gary is green. Gary is young. If someone is rough and blue then they are cold. If someone is white and rough then they are green. If Charlie is green then Charlie is rough. All young people are green. If someone is blue and white then they are quiet. All cold people are blue. All white people are young. All white, green people are cold. Quiet people are white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and rough then they are green.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Charlie is green then Charlie is rough.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "rough" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and white then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white, green people are cold.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Gary is young.
True
1
proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Charlie is not blue.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule6) OR ((((triple7 triple4) -> rule8)) -> rule6) OR ((((triple7 ((triple8) -> rule4)) -> rule8)) -> rule6) OR ((((triple7 ((triple7 triple6) -> rule2)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) triple4) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((triple8) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((triple7 triple6) -> rule2)) -> rule8)) -> rule6) OR ((((triple7 ((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((triple7 ((((triple5) -> rule9) triple6) -> rule2)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) triple6) -> rule2)) -> rule8)) -> rule6) OR ((((triple7 ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("Charlie" "is" "blue" "-")
triple2
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple7 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7 ((triple7 triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple5) -> (rule9 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple5) -> (rule9 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple5) -> (rule9 % int4)) ((triple7 triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple7 ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple7 ((((triple5) -> (rule9 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple5) -> (rule9 % int5)) ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple5) -> (rule9 % int4)) ((((triple5) -> (rule9 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple7 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple5) -> (rule9 % int5)) ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Erin is cold.
True
3
proof
[(((triple12 triple9) -> rule8) OR ((triple12 ((triple13) -> rule4)) -> rule8) OR ((triple12 ((triple12 triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) triple9) -> rule8) OR ((((triple10) -> rule9) ((triple13) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((triple12 triple11) -> rule2)) -> rule8) OR ((triple12 ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((triple12 ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((triple12 ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8))]
("Erin" "is" "cold" "+")
((triple12 triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple12 ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple10) -> (rule9 % int2)) triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule9 % int3)) ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int3)) ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple12 ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int4)) ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int3)) ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int4)) ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not cold.
False
3
inv-proof
[(((triple12 triple9) -> rule8) OR ((triple12 ((triple13) -> rule4)) -> rule8) OR ((triple12 ((triple12 triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) triple9) -> rule8) OR ((((triple10) -> rule9) ((triple13) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((triple12 triple11) -> rule2)) -> rule8) OR ((triple12 ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((triple12 ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((triple12 ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8))]
("Erin" "is" "cold" "-")
((triple12 triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple12 ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple10) -> (rule9 % int2)) triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule9 % int3)) ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int3)) ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple12 ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int4)) ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int3)) ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int4)) ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Anne is young.
True
3
proof
[(((((triple1) -> rule9)) -> rule7))]
("Anne" "is" "young" "+")
((((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not young.
False
3
inv-proof
[(((((triple1) -> rule9)) -> rule7))]
("Anne" "is" "young" "-")
((((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
True
4
proof
[(((((((triple1) -> rule9)) -> rule7)) -> rule4))]
("Anne" "is" "green" "+")
((((((triple1) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is not green.
False
4
inv-proof
[(((((((triple1) -> rule9)) -> rule7)) -> rule4))]
("Anne" "is" "green" "-")
((((((triple1) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is cold.
True
7
proof
[(((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8))]
("Anne" "is" "cold" "+")
((((triple1) -> (rule9 % int4)) ((((((triple1) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is not cold.
False
7
inv-proof
[(((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8))]
("Anne" "is" "cold" "-")
((((triple1) -> (rule9 % int4)) ((((((triple1) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
True
8
proof
[(((((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("Anne" "is" "blue" "+")
((((((triple1) -> (rule9 % int5)) ((((((triple1) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is not blue.
False
8
inv-proof
[(((((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("Anne" "is" "blue" "-")
((((((triple1) -> (rule9 % int5)) ((((((triple1) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Gary is not white.
Unknown
inv-rconc
[@2: Gary is white.[CWA. Example of deepest failure = (rule9 <- rule5 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule8 <- rule9 <- rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not quiet.
Unknown
inv-rconc
[@2: Gary is quiet.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("Gary" "is" "quiet" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2 OR ((triple3) -> rule6) OR ((((triple7 triple4) -> rule8)) -> rule6) OR ((((triple7 ((triple8) -> rule4)) -> rule8)) -> rule6) OR ((((triple7 ((triple7 triple6) -> rule2)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) triple4) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((triple8) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((triple7 triple6) -> rule2)) -> rule8)) -> rule6) OR ((((triple7 ((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((triple7 ((((triple5) -> rule9) triple6) -> rule2)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) triple6) -> rule2)) -> rule8)) -> rule6) OR ((((triple7 ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5) -> rule9) ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))] Charlie is cold.[(triple3 OR ((triple6 triple2) -> rule1) OR ((triple7 triple4) -> rule8) OR ((triple7 ((triple8) -> rule4)) -> rule8) OR ((triple7 ((triple7 triple6) -> rule2)) -> rule8) OR ((((triple4) -> rule3) triple2) -> rule1) OR ((((triple5) -> rule9) triple4) -> rule8) OR ((((triple5) -> rule9) ((triple8) -> rule4)) -> rule8) OR ((((triple5) -> rule9) ((triple7 triple6) -> rule2)) -> rule8) OR ((triple7 ((((triple7) -> rule7)) -> rule4)) -> rule8) OR ((triple7 ((((triple5) -> rule9) triple6) -> rule2)) -> rule8) OR ((((((triple8) -> rule4)) -> rule3) triple2) -> rule1) OR ((((triple5) -> rule9) ((((triple7) -> rule7)) -> rule4)) -> rule8) OR ((((triple5) -> rule9) ((((triple5) -> rule9) triple6) -> rule2)) -> rule8) OR ((triple7 ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule3) triple2) -> rule1) OR ((((triple5) -> rule9) ((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule3) triple2) -> rule1))] Charlie is green.[(triple4 OR ((triple8) -> rule4) OR ((triple7 triple6) -> rule2) OR ((((triple7) -> rule7)) -> rule4) OR ((((triple5) -> rule9) triple6) -> rule2) OR ((((((triple5) -> rule9)) -> rule7)) -> rule4))] Charlie is quiet.[(triple5 OR ((triple2 triple7) -> rule5) OR ((((triple3) -> rule6) triple7) -> rule5) OR ((((((triple7 triple4) -> rule8)) -> rule6) triple7) -> rule5) OR ((((((triple7 ((triple8) -> rule4)) -> rule8)) -> rule6) triple7) -> rule5) OR ((((((triple7 ((triple7 triple6) -> rule2)) -> rule8)) -> rule6) triple7) -> rule5) OR ((((((triple7 ((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule6) triple7) -> rule5))] Charlie is rough.[(triple6 OR ((triple4) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple5) -> rule9)) -> rule7)) -> rule4)) -> rule3))] Charlie is white.[(triple7 OR ((triple5) -> rule9))] Charlie is young.[(triple8 OR ((triple7) -> rule7) OR ((((triple5) -> rule9)) -> rule7))] Erin is green.[(triple9 OR ((triple13) -> rule4) OR ((triple12 triple11) -> rule2) OR ((((triple12) -> rule7)) -> rule4) OR ((((triple10) -> rule9) triple11) -> rule2) OR ((((((triple10) -> rule9)) -> rule7)) -> rule4))] Erin is quiet.[(triple10 OR ((((((triple12 triple9) -> rule8)) -> rule6) triple12) -> rule5) OR ((((((triple12 ((triple13) -> rule4)) -> rule8)) -> rule6) triple12) -> rule5) OR ((((((triple12 ((triple12 triple11) -> rule2)) -> rule8)) -> rule6) triple12) -> rule5) OR ((((((triple12 ((((triple12) -> rule7)) -> rule4)) -> rule8)) -> rule6) triple12) -> rule5))] Erin is rough.[(triple11)] Erin is white.[(triple12 OR ((triple10) -> rule9))] Erin is young.[(triple13 OR ((triple12) -> rule7) OR ((((triple10) -> rule9)) -> rule7))] Gary is blue.[(triple14)] Gary is green.[(triple15 OR ((triple16) -> rule4))] Gary is young.[(triple16)] @1: Anne is white.[(((triple1) -> rule9))] Erin is cold.[(((triple12 triple9) -> rule8) OR ((triple12 ((triple13) -> rule4)) -> rule8) OR ((triple12 ((triple12 triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) triple9) -> rule8) OR ((((triple10) -> rule9) ((triple13) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((triple12 triple11) -> rule2)) -> rule8) OR ((triple12 ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((triple12 ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((((triple10) -> rule9) ((((triple12) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((triple10) -> rule9) triple11) -> rule2)) -> rule8) OR ((triple12 ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((triple10) -> rule9) ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8))] @2: Anne is young.[(((((triple1) -> rule9)) -> rule7))] Erin is blue.[(((((triple12 triple9) -> rule8)) -> rule6) OR ((((triple12 ((triple13) -> rule4)) -> rule8)) -> rule6) OR ((((triple12 ((triple12 triple11) -> rule2)) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) triple9) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) ((triple13) -> rule4)) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) ((triple12 triple11) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 ((((triple12) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((triple12 ((((triple10) -> rule9) triple11) -> rule2)) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) ((((triple12) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) ((((triple10) -> rule9) triple11) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple10) -> rule9) ((((((triple10) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))] @3: Anne is green.[(((((((triple1) -> rule9)) -> rule7)) -> rule4))] @4: Anne is cold.[(((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8))] @5: Anne is blue.[(((((((triple1) -> rule9) ((((((triple1) -> rule9)) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple7 triple4) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7 ((triple7 triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple5) -> (rule9 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple5) -> (rule9 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple5) -> (rule9 % int4)) ((triple7 triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple7 ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple7 ((((triple5) -> (rule9 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple5) -> (rule9 % int5)) ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple5) -> (rule9 % int4)) ((((triple5) -> (rule9 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple7 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple5) -> (rule9 % int5)) ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple6 triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 triple4) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple5) -> (rule9 % int2)) triple4) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple5) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple5) -> (rule9 % int3)) ((triple7 triple6) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple7 ((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple7 ((((triple5) -> (rule9 % int3)) triple6) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5) -> (rule9 % int4)) ((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple5) -> (rule9 % int3)) ((((triple5) -> (rule9 % int3)) triple6) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple7 ((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple5) -> (rule9 % int4)) ((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple8) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple7 triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple5) -> (rule9 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple5) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
((triple2 triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple3) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple7 triple4) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple7 ((triple7 triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple7 ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple7
((triple5) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple7) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple9
((triple13) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 triple11) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10) -> (rule9 % int2)) triple11) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((((((triple12 triple9) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12 ((triple13) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple12 ((triple12 triple11) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple12 ((((triple12) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple10) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple13
((triple12) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
((triple16) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule9 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple12 triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple12 ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple10) -> (rule9 % int2)) triple9) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule9 % int3)) ((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int3)) ((triple12 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple12 ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple10) -> (rule9 % int4)) ((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int3)) ((((triple10) -> (rule9 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple10) -> (rule9 % int4)) ((((((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple12 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple12 ((triple13) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple12 ((triple12 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple10) -> (rule9 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple10) -> (rule9 % int4)) ((triple13) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple10) -> (rule9 % int4)) ((triple12 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple12 ((((triple10) -> (rule9 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple10) -> (rule9 % int5)) ((((triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple10) -> (rule9 % int4)) ((((triple10) -> (rule9 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple10) -> (rule9 % int5)) ((((((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((((((triple1) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule9 % int4)) ((((((triple1) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule9 % int5)) ((((((triple1) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5