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