The cat eats the rabbit. The cat does not see the cow. The cow eats the rabbit. The cow is not green. The cow does not see the cat. The rabbit does not like the cow. The rabbit sees the cat. If something likes the rabbit then it is young. If something sees the rabbit and the rabbit does not see the cat then it does not eat the rabbit. If the rabbit is round then the rabbit is not blue.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat does not see the cow.
("cat" "sees" "cow" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow does not see the cat.
("cow" "sees" "cat" "-")
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something likes the rabbit then it is young.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something sees the rabbit and the rabbit does not see the cat then it does not eat the rabbit.
((("something" "sees" "rabbit" "+") ("rabbit" "sees" "cat" "~")) -> ("something" "eats" "rabbit" "-"))
If the rabbit is round then the rabbit is not blue.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "blue" "-"))
The cat eats the rabbit.
True
1
proof
[(triple1)]
("cat" "eats" "rabbit" "+")
triple1
The cat sees the cow.
False
1
inv-proof
[(triple2)]
("cat" "sees" "cow" "+")
triple2
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "young" "-")
The cat sees the rabbit.
Unknown
random
[@0: The cat sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "rabbit" "+")
@0: The cat does not see the cow.[(triple2)] The cat eats the rabbit.[(triple1)] The cow does not see the cat.[(triple5)] The cow eats the rabbit.[(triple3)] The cow is not green.[(triple4)] The rabbit does not like the cow.[(triple6)] The rabbit sees the cat.[(triple7)]
The cat does not see the cow.
("cat" "sees" "cow" "-")
triple2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple3
The cow is not green.
("cow" "is" "green" "-")
triple4
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
triple6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple7