The cat likes the cow. The cow is green. The cow is kind. The cow likes the cat. The cow does not need the tiger. The cow sees the tiger. The tiger is green. The tiger is nice. The tiger is rough. The tiger likes the cow. The tiger does not need the cow. The tiger sees the cow. If someone needs the cat and the cat needs the cow then the cow sees the cat. If someone is kind and they like the tiger then they do not need the tiger. If someone needs the cow then they do not like the tiger.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone needs the cat and the cat needs the cow then the cow sees the cat.
((("someone" "needs" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone is kind and they like the tiger then they do not need the tiger.
((("someone" "is" "kind" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "needs" "tiger" "-"))
If someone needs the cow then they do not like the tiger.
((("someone" "needs" "cow" "+")) -> ("someone" "likes" "tiger" "-"))
The tiger is nice.
True
1
proof
[(triple8)]
("tiger" "is" "nice" "+")
triple8
The cow needs the tiger.
False
1
inv-proof
[(triple5)]
("cow" "needs" "tiger" "+")
triple5
The cow does not see the cat.
Unknown
inv-rconc
[@1: The cow sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat likes the cow.[(triple1)] The cow does not need the tiger.[(triple5)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow likes the cat.[(triple4)] The cow sees the tiger.[(triple6)] The tiger does not need the cow.[(triple11)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the cow.[(triple10)] The tiger sees the cow.[(triple12)]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
triple5
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow likes the cat.
("cow" "likes" "cat" "+")
triple4
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple6
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple10
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple12