The bear eats the cow. The bear eats the rabbit. The bear is rough. The bear is young. The bear sees the rabbit. The cat eats the bear. The cat sees the bear. The cow is red. The cow likes the bear. The rabbit eats the bear. If the rabbit is rough then the rabbit is young. If someone is rough then they do not see the bear. If the rabbit sees the cow and the cow is red then the rabbit sees the cat. If someone likes the cow and they are red then the cow likes the cat. If someone sees the bear and they are big then they are not red. If someone sees the cat and the cat likes the bear then they eat the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If the rabbit is rough then the rabbit is young.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "young" "+"))
If someone is rough then they do not see the bear.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bear" "-"))
If the rabbit sees the cow and the cow is red then the rabbit sees the cat.
((("rabbit" "sees" "cow" "+") ("cow" "is" "red" "+")) -> ("rabbit" "sees" "cat" "+"))
If someone likes the cow and they are red then the cow likes the cat.
((("someone" "likes" "cow" "+") ("someone" "is" "red" "+")) -> ("cow" "likes" "cat" "+"))
If someone sees the bear and they are big then they are not red.
((("someone" "sees" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
If someone sees the cat and the cat likes the bear then they eat the cow.
((("someone" "sees" "cat" "+") ("cat" "likes" "bear" "+")) -> ("someone" "eats" "cow" "+"))
The cat eats the bear.
True
1
proof
[(triple6)]
("cat" "eats" "bear" "+")
triple6
The cat does not eat the bear.
False
1
inv-proof
[(triple6)]
("cat" "eats" "bear" "-")
triple6
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "eats" "cow" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is rough.[(triple3)] The bear is young.[(triple4)] The bear sees the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The cat sees the bear.[(triple7)] The cow is red.[(triple8)] The cow likes the bear.[(triple9)] The rabbit eats the bear.[(triple10)] @1: The bear does not see the bear.[(((triple3) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat sees the bear.
("cat" "sees" "bear" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The bear does not see the bear.
("bear" "sees" "bear" "-")
((triple3) -> (rule2 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1