The cat chases the lion. The cat eats the cow. The cat eats the lion. The cat is not big. The cat is rough. The cat needs the cow. The cat needs the lion. The cow chases the cat. The cow chases the lion. The cow eats the cat. The cow eats the lion. The cow is rough. The cow is young. The cow needs the cat. The lion eats the cat. The lion is not rough. If someone chases the cat then they need the cow. If someone chases the cow and they do not eat the cat then they need the cow. If the cat needs the cow and the cow is not big then the cow does not chase the lion. If someone chases the cow and the cow needs the lion then the lion eats the cow. If someone needs the cat then the cat eats the cow. If someone is rough and big then they need the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not rough.
("lion" "is" "rough" "-")
If someone chases the cat then they need the cow.
((("someone" "chases" "cat" "+")) -> ("someone" "needs" "cow" "+"))
If someone chases the cow and they do not eat the cat then they need the cow.
((("someone" "chases" "cow" "+") ("someone" "eats" "cat" "~")) -> ("someone" "needs" "cow" "+"))
If the cat needs the cow and the cow is not big then the cow does not chase the lion.
((("cat" "needs" "cow" "+") ("cow" "is" "big" "~")) -> ("cow" "chases" "lion" "-"))
If someone chases the cow and the cow needs the lion then the lion eats the cow.
((("someone" "chases" "cow" "+") ("cow" "needs" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone needs the cat then the cat eats the cow.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "cow" "+"))
If someone is rough and big then they need the lion.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "needs" "lion" "+"))
The cat needs the cow.
True
1
proof
[(triple6)]
("cat" "needs" "cow" "+")
triple6
The lion is rough.
False
1
inv-proof
[(triple16)]
("lion" "is" "rough" "+")
triple16
The cow does not need the lion.
Unknown
inv-rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "lion" "-")
The lion chases the cat.
Unknown
random
[@0: The lion chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the cow.[(triple2 OR ((triple14) -> rule5))] The cat eats the lion.[(triple3)] The cat is not big.[(triple4)] The cat is rough.[(triple5)] The cat needs the cow.[(triple6)] The cat needs the lion.[(triple7)] The cow chases the cat.[(triple8)] The cow chases the lion.[(triple9)] The cow eats the cat.[(triple10)] The cow eats the lion.[(triple11)] The cow is rough.[(triple12)] The cow is young.[(triple13)] The cow needs the cat.[(triple14)] The lion eats the cat.[(triple15)] The lion is not rough.[(triple16)] @1: The cow needs the cow.[(((triple8) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
((triple14) -> (rule5 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The cat is not big.
("cat" "is" "big" "-")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat needs the lion.
("cat" "needs" "lion" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow chases the lion.
("cow" "chases" "lion" "+")
triple9
The cow eats the cat.
("cow" "eats" "cat" "+")
triple10
The cow eats the lion.
("cow" "eats" "lion" "+")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow needs the cat.
("cow" "needs" "cat" "+")
triple14
The lion eats the cat.
("lion" "eats" "cat" "+")
triple15
The lion is not rough.
("lion" "is" "rough" "-")
triple16
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple8) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1