The bear eats the cat. The bear is blue. The bear likes the cat. The cat eats the rabbit. The cat is blue. The cat is kind. The cat is rough. The cat likes the rabbit. The cat needs the bear. The rabbit is kind. The rabbit likes the cat. The rabbit needs the cat. If the rabbit needs the cat then the cat eats the rabbit.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If the rabbit needs the cat then the cat eats the rabbit.
((("rabbit" "needs" "cat" "+")) -> ("cat" "eats" "rabbit" "+"))
The cat needs the bear.
True
1
proof
[(triple9)]
("cat" "needs" "bear" "+")
triple9
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
@0: The bear eats the cat.[(triple1)] The bear is blue.[(triple2)] The bear likes the cat.[(triple3)] The cat eats the rabbit.[(triple4 OR ((triple12) -> rule1))] The cat is blue.[(triple5)] The cat is kind.[(triple6)] The cat is rough.[(triple7)] The cat likes the rabbit.[(triple8)] The cat needs the bear.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit needs the cat.[(triple12)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
((triple12) -> (rule1 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple11
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple12