The bear likes the rabbit. The cat chases the rabbit. The cat eats the rabbit. The cat is round. The cat likes the bear. The cat likes the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit eats the cat. The rabbit is red. The rabbit likes the bear. The rabbit likes the cat. If someone chases the cat and the cat likes the rabbit then the rabbit is red. If someone chases the bear then the bear is round.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If someone chases the cat and the cat likes the rabbit then the rabbit is red.
((("someone" "chases" "cat" "+") ("cat" "likes" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone chases the bear then the bear is round.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
The bear likes the rabbit.
True
1
proof
[(triple1)]
("bear" "likes" "rabbit" "+")
triple1
The rabbit does not eat the bear.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "bear" "-")
triple8
The bear is round.
True
2
proof
[(((triple7) -> rule2))]
("bear" "is" "round" "+")
((triple7) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "is" "round" "-")
((triple7) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear likes the rabbit.[(triple1)] The cat chases the rabbit.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is round.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is red.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit likes the cat.[(triple12)] @1: The bear is round.[(((triple7) -> rule2))]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple11
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple12
The bear is round.
("bear" "is" "round" "+")
((triple7) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1