The bear chases the squirrel. The bear is round. The cat eats the bear. The cat likes the squirrel. The squirrel chases the bear. The squirrel chases the cat. The squirrel eats the cat. The squirrel is nice. The squirrel is red. The squirrel is rough. If something is blue and it likes the cat then it likes the bear. If something eats the squirrel and the squirrel is red then the squirrel chases the bear. If something eats the squirrel then it is rough. If something chases the cat then the cat eats the squirrel. If something chases the squirrel and it likes the squirrel then the squirrel likes the cat. If something is nice and it likes the bear then the bear likes the cat. If something is rough then it is red. If something chases the bear and it eats the cat then the cat chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is round.
("bear" "is" "round" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something is blue and it likes the cat then it likes the bear.
((("something" "is" "blue" "+") ("something" "likes" "cat" "+")) -> ("something" "likes" "bear" "+"))
If something eats the squirrel and the squirrel is red then the squirrel chases the bear.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "chases" "bear" "+"))
If something eats the squirrel then it is rough.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If something chases the cat then the cat eats the squirrel.
((("something" "chases" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If something chases the squirrel and it likes the squirrel then the squirrel likes the cat.
((("something" "chases" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If something is nice and it likes the bear then the bear likes the cat.
((("something" "is" "nice" "+") ("something" "likes" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something chases the bear and it eats the cat then the cat chases the bear.
((("something" "chases" "bear" "+") ("something" "eats" "cat" "+")) -> ("cat" "chases" "bear" "+"))
The bear chases the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "+")
triple1
The cat does not like the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "likes" "squirrel" "-")
triple4
The cat chases the bear.
True
3
proof
[(((triple5 triple7) -> rule8) OR ((((((triple6) -> rule4) triple9) -> rule2) triple7) -> rule8) OR ((((((triple6) -> rule4) ((triple10) -> rule7)) -> rule2) triple7) -> rule8))]
("cat" "chases" "bear" "+")
((triple5 triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
((((((triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat does not chase the bear.
False
3
inv-proof
[(((triple5 triple7) -> rule8) OR ((((((triple6) -> rule4) triple9) -> rule2) triple7) -> rule8) OR ((((((triple6) -> rule4) ((triple10) -> rule7)) -> rule2) triple7) -> rule8))]
("cat" "chases" "bear" "-")
((triple5 triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
((((((triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat is rough.
True
3
proof
[(((((triple6) -> rule4)) -> rule3))]
("cat" "is" "rough" "+")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat is not rough.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule3))]
("cat" "is" "rough" "-")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel does not like the bear.
Unknown
inv-rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The cat likes the bear.
Unknown
rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bear" "+")
The bear does not like the cat.
Unknown
inv-rconc
[@2: The bear likes the cat.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bear" "likes" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is round.[(triple2)] The cat eats the bear.[(triple3)] The cat likes the squirrel.[(triple4)] The squirrel chases the bear.[(triple5 OR ((((triple6) -> rule4) triple9) -> rule2) OR ((((triple6) -> rule4) ((triple10) -> rule7)) -> rule2))] The squirrel chases the cat.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is red.[(triple9 OR ((triple10) -> rule7))] The squirrel is rough.[(triple10)] @1: The cat chases the bear.[(((triple5 triple7) -> rule8) OR ((((((triple6) -> rule4) triple9) -> rule2) triple7) -> rule8) OR ((((((triple6) -> rule4) ((triple10) -> rule7)) -> rule2) triple7) -> rule8))] The cat eats the squirrel.[(((triple6) -> rule4))] @2: The cat is rough.[(((((triple6) -> rule4)) -> rule3))] @3: The cat is red.[(((((((triple6) -> rule4)) -> rule3)) -> rule7))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The cat eats the bear.
("cat" "eats" "bear" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple5
((((triple6) -> (rule4 % int2)) triple9) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple10) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
((triple10) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple5 triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
((((((triple6) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((triple6) -> (rule4 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat is red.
("cat" "is" "red" "+")
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3