The cow is young. The cow needs the lion. The cow sees the lion. The cow sees the tiger. The cow visits the lion. The cow visits the tiger. The lion needs the cow. The lion sees the cow. The lion visits the tiger. The tiger is big. The tiger is not young. The tiger needs the cow. The tiger sees the cow. The tiger does not see the lion. The tiger visits the cow. If someone visits the lion and the lion is red then the lion needs the cow. If the lion is not young then the lion needs the cow. If someone sees the lion and they see the cow then they visit the cow. If someone is big and not red then they are not kind. If someone is kind and they do not need the cow then they need the lion. If someone is big and they need the lion then the lion visits the tiger. If the lion visits the cow and the cow needs the lion then the lion is big. If someone sees the tiger and they do not need the cow then they are not big.
The cow is young.
("cow" "is" "young" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone visits the lion and the lion is red then the lion needs the cow.
((("someone" "visits" "lion" "+") ("lion" "is" "red" "+")) -> ("lion" "needs" "cow" "+"))
If the lion is not young then the lion needs the cow.
((("lion" "is" "young" "~")) -> ("lion" "needs" "cow" "+"))
If someone sees the lion and they see the cow then they visit the cow.
((("someone" "sees" "lion" "+") ("someone" "sees" "cow" "+")) -> ("someone" "visits" "cow" "+"))
If someone is big and not red then they are not kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "-"))
If someone is kind and they do not need the cow then they need the lion.
((("someone" "is" "kind" "+") ("someone" "needs" "cow" "~")) -> ("someone" "needs" "lion" "+"))
If someone is big and they need the lion then the lion visits the tiger.
((("someone" "is" "big" "+") ("someone" "needs" "lion" "+")) -> ("lion" "visits" "tiger" "+"))
If the lion visits the cow and the cow needs the lion then the lion is big.
((("lion" "visits" "cow" "+") ("cow" "needs" "lion" "+")) -> ("lion" "is" "big" "+"))
If someone sees the tiger and they do not need the cow then they are not big.
((("someone" "sees" "tiger" "+") ("someone" "needs" "cow" "~")) -> ("someone" "is" "big" "-"))
The tiger is not young.
True
1
proof
[(triple11)]
("tiger" "is" "young" "-")
triple11
The lion does not need the cow.
False
1
inv-proof
[(triple7)]
("lion" "needs" "cow" "-")
triple7
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The cow is young.[(triple1)] The cow needs the lion.[(triple2)] The cow sees the lion.[(triple3)] The cow sees the tiger.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the tiger.[(triple6)] The lion needs the cow.[(triple7)] The lion sees the cow.[(triple8)] The lion visits the tiger.[(triple9)] The tiger does not see the lion.[(triple14)] The tiger is big.[(triple10)] The tiger is not young.[(triple11)] The tiger needs the cow.[(triple12)] The tiger sees the cow.[(triple13)] The tiger visits the cow.[(triple15)]
The cow is young.
("cow" "is" "young" "+")
triple1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple2
The cow sees the lion.
("cow" "sees" "lion" "+")
triple3
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple6
The lion needs the cow.
("lion" "needs" "cow" "+")
triple7
The lion sees the cow.
("lion" "sees" "cow" "+")
triple8
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple9
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is not young.
("tiger" "is" "young" "-")
triple11
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple12
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple13
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15