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