The bear chases the cat. The bear is red. The bear is rough. The bear is round. The cat is green. The squirrel is red. The squirrel is rough. The squirrel needs the bear. The squirrel needs the cat. The squirrel visits the bear. If the cat visits the bear and the cat is green then the cat is rough. If the cat chases the squirrel and the squirrel needs the cat then the cat visits the bear. If someone chases the cat then the cat chases the squirrel. If someone chases the cat and they need the squirrel then they need the bear. If someone needs the bear and they are rough then the bear is young. If someone chases the squirrel and they are round then the squirrel visits the cat. If someone is round then they visit the squirrel. If someone chases the bear and the bear needs the squirrel then the squirrel chases the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is green.
("cat" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the cat visits the bear and the cat is green then the cat is rough.
((("cat" "visits" "bear" "+") ("cat" "is" "green" "+")) -> ("cat" "is" "rough" "+"))
If the cat chases the squirrel and the squirrel needs the cat then the cat visits the bear.
((("cat" "chases" "squirrel" "+") ("squirrel" "needs" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If someone chases the cat then the cat chases the squirrel.
((("someone" "chases" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone chases the cat and they need the squirrel then they need the bear.
((("someone" "chases" "cat" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the bear and they are rough then the bear is young.
((("someone" "needs" "bear" "+") ("someone" "is" "rough" "+")) -> ("bear" "is" "young" "+"))
If someone chases the squirrel and they are round then the squirrel visits the cat.
((("someone" "chases" "squirrel" "+") ("someone" "is" "round" "+")) -> ("squirrel" "visits" "cat" "+"))
If someone is round then they visit the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone chases the bear and the bear needs the squirrel then the squirrel chases the bear.
((("someone" "chases" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
The squirrel is rough.
True
1
proof
[(triple7)]
("squirrel" "is" "rough" "+")
triple7
The squirrel does not visit the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "bear" "-")
triple10
The bear is young.
True
3
proof
[(((triple8 triple7) -> rule5))]
("bear" "is" "young" "+")
((triple8 triple7) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not visit the squirrel.
False
2
inv-proof
[(((triple4) -> rule7))]
("bear" "visits" "squirrel" "-")
((triple4) -> (rule7 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The cat visits the bear.
True
4
proof
[(((((triple1) -> rule3) triple9) -> rule2))]
("cat" "visits" "bear" "+")
((((triple1) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat does not visit the bear.
False
4
inv-proof
[(((((triple1) -> rule3) triple9) -> rule2))]
("cat" "visits" "bear" "-")
((((triple1) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat does not need the bear.
Unknown
inv-rconc
[@1: The cat needs the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "bear" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "visits" "squirrel" "+")
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "needs" "bear" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat needs the squirrel.
Unknown
random
[@0: The cat needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "squirrel" "+")
@0: The bear chases the cat.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The cat is green.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] The squirrel needs the bear.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The bear is young.[(((triple8 triple7) -> rule5))] The bear visits the squirrel.[(((triple4) -> rule7))] The cat chases the squirrel.[(((triple1) -> rule3))] @2: The cat visits the bear.[(((((triple1) -> rule3) triple9) -> rule2))] @3: The cat is rough.[(((((((triple1) -> rule3) triple9) -> rule2) triple5) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The bear is young.
("bear" "is" "young" "+")
((triple8 triple7) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((triple4) -> (rule7 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((triple1) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((((triple1) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
((((((triple1) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3