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