The bear is rough. The bear likes the cat. The cat likes the bear. The cat visits the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit visits the bear. If someone visits the rabbit and the rabbit chases the bear then the bear likes the cat.
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone visits the rabbit and the rabbit chases the bear then the bear likes the cat.
((("someone" "visits" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("bear" "likes" "cat" "+"))
The bear is rough.
True
1
proof
[(triple1)]
("bear" "is" "rough" "+")
triple1
The cat does not like the bear.
False
1
inv-proof
[(triple3)]
("cat" "likes" "bear" "-")
triple3
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bear is rough.[(triple1)] The bear likes the cat.[(triple2 OR ((triple4 triple5) -> rule1))] The cat likes the bear.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit visits the bear.[(triple7)]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
((triple4 triple5) -> (rule1 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple5
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7