The cat eats the cow. The cat is round. The cow eats the cat. The cow eats the lion. The cow is green. The cow is young. The cow likes the lion. The cow needs the cat. The lion eats the cat. The lion is round. The lion is young. The lion needs the cat. If something is kind then it needs the cow. If the cat needs the cow and the cat is big then the cow is big.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something is kind then it needs the cow.
((("something" "is" "kind" "+")) -> ("something" "needs" "cow" "+"))
If the cat needs the cow and the cat is big then the cow is big.
((("cat" "needs" "cow" "+") ("cat" "is" "big" "+")) -> ("cow" "is" "big" "+"))
The lion needs the cat.
True
1
proof
[(triple12)]
("lion" "needs" "cat" "+")
triple12
The cow is not young.
False
1
inv-proof
[(triple6)]
("cow" "is" "young" "-")
triple6
The cat does not need the cow.
Unknown
inv-rconc
[@1: The cat needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cow" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cat eats the cow.[(triple1)] The cat is round.[(triple2)] The cow eats the cat.[(triple3)] The cow eats the lion.[(triple4)] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the cat.[(triple8)] The lion eats the cat.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion needs the cat.[(triple12)]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The cow eats the lion.
("cow" "eats" "lion" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
The cow needs the cat.
("cow" "needs" "cat" "+")
triple8
The lion eats the cat.
("lion" "eats" "cat" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12