The bear eats the rabbit. The bear eats the squirrel. The bear needs the rabbit. The bear needs the squirrel. The bear visits the squirrel. The rabbit eats the squirrel. The rabbit is red. The rabbit needs the bear. The squirrel visits the bear. The squirrel visits the rabbit. If something eats the bear and the bear is young then the bear visits the rabbit. If something eats the squirrel and the squirrel visits the bear then the bear visits the rabbit. If something eats the bear then it is red. If something is blue then it eats the bear. If something is blue and young then it visits the bear. If something eats the squirrel then it is red. If something needs the squirrel then it is blue. If something is young and red then it needs the squirrel.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something eats the bear and the bear is young then the bear visits the rabbit.
((("something" "eats" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "visits" "rabbit" "+"))
If something eats the squirrel and the squirrel visits the bear then the bear visits the rabbit.
((("something" "eats" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If something eats the bear then it is red.
((("something" "eats" "bear" "+")) -> ("something" "is" "red" "+"))
If something is blue then it eats the bear.
((("something" "is" "blue" "+")) -> ("something" "eats" "bear" "+"))
If something is blue and young then it visits the bear.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "visits" "bear" "+"))
If something eats the squirrel then it is red.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something needs the squirrel then it is blue.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something is young and red then it needs the squirrel.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "needs" "squirrel" "+"))
The rabbit needs the bear.
True
1
proof
[(triple8)]
("rabbit" "needs" "bear" "+")
triple8
The bear does not need the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "needs" "rabbit" "-")
triple3
The bear is blue.
True
2
proof
[(((triple4) -> rule7))]
("bear" "is" "blue" "+")
((triple4) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear does not visit the rabbit.
False
3
inv-proof
[(((triple2 triple9) -> rule2) OR ((triple6 triple9) -> rule2))]
("bear" "visits" "rabbit" "-")
((triple2 triple9) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
((triple6 triple9) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear eats the bear.
True
3
proof
[(((((triple4) -> rule7)) -> rule4))]
("bear" "eats" "bear" "+")
((((triple4) -> (rule7 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not eat the bear.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule4))]
("bear" "eats" "bear" "-")
((((triple4) -> (rule7 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@2: The squirrel is blue.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("squirrel" "is" "blue" "-")
The rabbit visits the bear.
Unknown
rconc
[@1: The rabbit visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "visits" "bear" "+")
The rabbit does not need the squirrel.
Unknown
inv-rconc
[@1: The rabbit needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "needs" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear needs the rabbit.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is red.[(triple7 OR ((triple6) -> rule6))] The rabbit needs the bear.[(triple8)] The squirrel visits the bear.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The bear is blue.[(((triple4) -> rule7))] The bear is red.[(((triple2) -> rule6) OR ((((((triple4) -> rule7)) -> rule4)) -> rule3))] The bear visits the rabbit.[(((triple2 triple9) -> rule2) OR ((triple6 triple9) -> rule2))] @2: The bear eats the bear.[(((((triple4) -> rule7)) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
((triple6) -> (rule6 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple8
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple2) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((((((triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple2 triple9) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
((triple6 triple9) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple4) -> (rule7 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2