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