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