The cat eats the cow. The cat eats the rabbit. The cat is green. The cat is rough. The cat is round. The cat is young. The cat sees the cow. The cat sees the rabbit. The cat visits the rabbit. The cow eats the rabbit. The cow is young. The cow sees the cat. The cow visits the rabbit. The rabbit eats the cow. The rabbit visits the cow. If someone visits the rabbit and the rabbit eats the cat then the rabbit sees the cat. If someone is red then they visit the cat. If someone sees the cat and the cat visits the cow then the cow is young.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone visits the rabbit and the rabbit eats the cat then the rabbit sees the cat.
((("someone" "visits" "rabbit" "+") ("rabbit" "eats" "cat" "+")) -> ("rabbit" "sees" "cat" "+"))
If someone is red then they visit the cat.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cat" "+"))
If someone sees the cat and the cat visits the cow then the cow is young.
((("someone" "sees" "cat" "+") ("cat" "visits" "cow" "+")) -> ("cow" "is" "young" "+"))
The rabbit eats the cow.
True
1
proof
[(triple14)]
("rabbit" "eats" "cow" "+")
triple14
The rabbit does not visit the cow.
False
1
inv-proof
[(triple15)]
("rabbit" "visits" "cow" "-")
triple15
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cat" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cat eats the cow.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat sees the cow.[(triple7)] The cat sees the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The cow eats the rabbit.[(triple10)] The cow is young.[(triple11)] The cow sees the cat.[(triple12)] The cow visits the rabbit.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit visits the cow.[(triple15)]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat sees the cow.
("cat" "sees" "cow" "+")
triple7
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
triple11
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple13
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15