The bear does not eat the rabbit. The bear sees the cow. The cow eats the bear. The cow is big. The cow is rough. The rabbit does not eat the cow. The rabbit is kind. If something needs the rabbit then it needs the cow.
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is rough.
("cow" "is" "rough" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If something needs the rabbit then it needs the cow.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "cow" "+"))
The cow is big.
True
1
proof
[(triple4)]
("cow" "is" "big" "+")
triple4
The cow is not big.
False
1
inv-proof
[(triple4)]
("cow" "is" "big" "-")
triple4
The bear does not need the cow.
Unknown
inv-rconc
[@1: The bear needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "cow" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bear does not eat the rabbit.[(triple1)] The bear sees the cow.[(triple2)] The cow eats the bear.[(triple3)] The cow is big.[(triple4)] The cow is rough.[(triple5)] The rabbit does not eat the cow.[(triple6)] The rabbit is kind.[(triple7)]
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7