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