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