The cow needs the rabbit. The cow sees the rabbit. The lion is not cold. The mouse needs the lion. The mouse does not need the rabbit. The mouse sees the cow. The rabbit is nice. The rabbit does not need the lion. The rabbit sees the cow. The rabbit sees the lion. If the cow is cold then the cow eats the rabbit.
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse does not need the rabbit.
("mouse" "needs" "rabbit" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If the cow is cold then the cow eats the rabbit.
((("cow" "is" "cold" "+")) -> ("cow" "eats" "rabbit" "+"))
The rabbit is nice.
True
1
proof
[(triple7)]
("rabbit" "is" "nice" "+")
triple7
The rabbit needs the lion.
False
1
inv-proof
[(triple8)]
("rabbit" "needs" "lion" "+")
triple8
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 mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
@0: The cow needs the rabbit.[(triple1)] The cow sees the rabbit.[(triple2)] The lion is not cold.[(triple3)] The mouse does not need the rabbit.[(triple5)] The mouse needs the lion.[(triple4)] The mouse sees the cow.[(triple6)] The rabbit does not need the lion.[(triple8)] The rabbit is nice.[(triple7)] The rabbit sees the cow.[(triple9)] The rabbit sees the lion.[(triple10)]
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple2
The lion is not cold.
("lion" "is" "cold" "-")
triple3
The mouse does not need the rabbit.
("mouse" "needs" "rabbit" "-")
triple5
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple4
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple6
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10