Anne is red. Charlie is kind. Dave is kind. Dave is red. Dave is white. Dave is young. Erin is white. White things are blue. All blue, cold things are quiet. All blue, young things are cold. If something is blue and white then it is young. If something is young then it is white. All kind, white things are red. Cold things are kind. If something is red and not young then it is kind.
Anne is red.
("Anne" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is white.
("Erin" "is" "white" "+")
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All blue, cold things are quiet.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
All blue, young things are cold.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is blue and white then it is young.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is young then it is white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All kind, white things are red.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is red and not young then it is kind.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "is" "kind" "+"))
Dave is kind.
True
1
proof
[(triple3 OR ((((((triple5) -> rule1) triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule7) OR ((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "kind" "+")
triple3
((((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Erin is not white.
False
1
inv-proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
Erin is blue.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "blue" "-")
((triple7) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
True
4
proof
[(((((triple7) -> rule1) triple7) -> rule4))]
("Erin" "is" "young" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Dave is not cold.
False
4
inv-proof
[(((((triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3))]
("Dave" "is" "cold" "-")
((((triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is quiet.
True
7
proof
[(((((triple5) -> rule1) ((((triple5) -> rule1) triple6) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2))]
("Dave" "is" "quiet" "+")
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule1 % int4)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Erin is not cold.
False
7
inv-proof
[(((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3))]
("Erin" "is" "cold" "-")
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is quiet.
True
10
proof
[(((((triple7) -> rule1) ((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2))]
("Erin" "is" "quiet" "+")
((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is not kind.
False
8
inv-proof
[(((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7))]
("Erin" "is" "kind" "-")
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
True
10
proof
[(((((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) triple7) -> rule6))]
("Erin" "is" "red" "+")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is not red.
False
10
inv-proof
[(((((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) triple7) -> rule6))]
("Erin" "is" "red" "-")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Anne is not cold.
Unknown
inv-rconc
[@3: Anne is cold.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule5 <- FAIL)]]
("Anne" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-rconc
[@3: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Anne is quiet.
Unknown
rconc
[@4: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule5 <- rule4 <- FAIL)]]
("Anne" "is" "quiet" "+")
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "white" "-")
Anne is white.
Unknown
rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is red.[(triple1)] Charlie is kind.[(triple2)] Dave is kind.[(triple3 OR ((((((triple5) -> rule1) triple6) -> rule3)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule7) OR ((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7))] Dave is red.[(triple4 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple6) -> rule5)) -> rule6) OR ((((((((triple5) -> rule1) triple6) -> rule3)) -> rule7) triple5) -> rule6) OR ((((((((triple5) -> rule1) triple6) -> rule3)) -> rule7) ((triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule7) triple5) -> rule6) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) triple5) -> rule6) OR ((((((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule7) ((triple6) -> rule5)) -> rule6) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) ((triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) triple5) -> rule6) OR ((((((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule7) ((triple6) -> rule5)) -> rule6))] Dave is white.[(triple5 OR ((triple6) -> rule5))] Dave is young.[(triple6 OR ((((triple5) -> rule1) triple5) -> rule4))] Erin is white.[(triple7)] @1: Dave is blue.[(((triple5) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] Erin is blue.[(((triple7) -> rule1))] @2: Dave is cold.[(((((triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3))] Erin is young.[(((((triple7) -> rule1) triple7) -> rule4))] @3: Dave is quiet.[(((((triple5) -> rule1) ((((triple5) -> rule1) triple6) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((((triple6) -> rule5)) -> rule1) triple6) -> rule3)) -> rule2) OR ((((triple5) -> rule1) ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((((triple6) -> rule5)) -> rule1) ((((triple5) -> rule1) triple5) -> rule4)) -> rule3)) -> rule2))] Erin is cold.[(((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3))] @4: Erin is kind.[(((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7))] Erin is quiet.[(((((triple7) -> rule1) ((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2))] @5: Erin is red.[(((((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) triple7) -> rule6))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
triple4
((triple3 triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple3 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((((triple5) -> (rule1 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple5) -> (rule1 % int5)) triple6) -> (rule3 % int4))) -> (rule7 % int3)) ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2)) ((triple6) -> (rule5 % int5))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple5) -> (rule1 % int6)) ((((triple5) -> (rule1 % int6)) triple5) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((((triple6) -> (rule5 % int6))) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple6) -> (rule5 % int6))) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple6) -> (rule5 % int6))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is white.
("Dave" "is" "white" "+")
triple5
((triple6) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple6
((((triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule1 % int4)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5