The cow eats the rabbit. The cow is red. The cow is round. The cow is young. The cow needs the rabbit. The rabbit eats the cow. The rabbit needs the cow. If someone needs the rabbit and the rabbit is red then the rabbit is young.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone needs the rabbit and the rabbit is red then the rabbit is young.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("rabbit" "is" "young" "+"))
The cow is round.
True
1
proof
[(triple3)]
("cow" "is" "round" "+")
triple3
The cow does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "eats" "rabbit" "-")
triple1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow needs the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit needs the cow.[(triple7)]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7