The bear eats the cow. The bear is not cold. The bear needs the cow. The cow eats the bear. The cow needs the bear. The cow sees the bear. The rabbit eats the bear. The rabbit eats the cow. The rabbit is nice. The rabbit is young. The rabbit does not need the cow. The rabbit sees the cow. If someone is nice and they eat the bear then they eat the rabbit.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone is nice and they eat the bear then they eat the rabbit.
((("someone" "is" "nice" "+") ("someone" "eats" "bear" "+")) -> ("someone" "eats" "rabbit" "+"))
The cow needs the bear.
True
1
proof
[(triple5)]
("cow" "needs" "bear" "+")
triple5
The rabbit does not see the cow.
False
1
inv-proof
[(triple12)]
("rabbit" "sees" "cow" "-")
triple12
The cow does not eat the rabbit.
Unknown
inv-rconc
[@1: The cow eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "rabbit" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bear eats the cow.[(triple1)] The bear is not cold.[(triple2)] The bear needs the cow.[(triple3)] The cow eats the bear.[(triple4)] The cow needs the bear.[(triple5)] The cow sees the bear.[(triple6)] The rabbit does not need the cow.[(triple11)] The rabbit eats the bear.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit sees the cow.[(triple12)] @1: The rabbit eats the rabbit.[(((triple9 triple7) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is not cold.
("bear" "is" "cold" "-")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The cow eats the bear.
("cow" "eats" "bear" "+")
triple4
The cow needs the bear.
("cow" "needs" "bear" "+")
triple5
The cow sees the bear.
("cow" "sees" "bear" "+")
triple6
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
triple11
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple12
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple9 triple7) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1