The cat chases the lion. The cat is cold. The cat is not round. The cat visits the cow. The cow chases the cat. The cow does not chase the lion. The cow is not nice. The cow is round. The cow needs the cat. The cow does not need the lion. The cow visits the lion. The lion chases the cat. The lion is rough. The lion needs the cat. The lion visits the cat. The lion visits the cow. If the lion chases the cow and the lion does not visit the cat then the cow does not need the lion. If someone is nice and they do not visit the cat then the cat is kind. If someone needs the lion then the lion chases the cow. If the cat is not kind and the cat does not chase the cow then the cow visits the lion. If someone visits the lion and the lion is not nice then the lion does not chase the cat. If the lion is cold then the lion needs the cow. If someone is cold then they need the cow. If someone chases the cow and they do not need the lion then the lion is not cold.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow does not chase the lion.
("cow" "chases" "lion" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is round.
("cow" "is" "round" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow does not need the lion.
("cow" "needs" "lion" "-")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the lion chases the cow and the lion does not visit the cat then the cow does not need the lion.
((("lion" "chases" "cow" "+") ("lion" "visits" "cat" "~")) -> ("cow" "needs" "lion" "-"))
If someone is nice and they do not visit the cat then the cat is kind.
((("someone" "is" "nice" "+") ("someone" "visits" "cat" "~")) -> ("cat" "is" "kind" "+"))
If someone needs the lion then the lion chases the cow.
((("someone" "needs" "lion" "+")) -> ("lion" "chases" "cow" "+"))
If the cat is not kind and the cat does not chase the cow then the cow visits the lion.
((("cat" "is" "kind" "~") ("cat" "chases" "cow" "~")) -> ("cow" "visits" "lion" "+"))
If someone visits the lion and the lion is not nice then the lion does not chase the cat.
((("someone" "visits" "lion" "+") ("lion" "is" "nice" "~")) -> ("lion" "chases" "cat" "-"))
If the lion is cold then the lion needs the cow.
((("lion" "is" "cold" "+")) -> ("lion" "needs" "cow" "+"))
If someone is cold then they need the cow.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cow" "+"))
If someone chases the cow and they do not need the lion then the lion is not cold.
((("someone" "chases" "cow" "+") ("someone" "needs" "lion" "~")) -> ("lion" "is" "cold" "-"))
The lion is rough.
True
1
proof
[(triple13)]
("lion" "is" "rough" "+")
triple13
The lion does not need the cat.
False
1
inv-proof
[(triple14)]
("lion" "needs" "cat" "-")
triple14
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "cow" "-")
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 chases the lion.[(triple1)] The cat is cold.[(triple2)] The cat is not round.[(triple3)] The cat visits the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow does not chase the lion.[(triple6)] The cow does not need the lion.[(triple10)] The cow is not nice.[(triple7)] The cow is round.[(triple8)] The cow needs the cat.[(triple9)] The cow visits the lion.[(triple11)] The lion chases the cat.[(triple12)] The lion is rough.[(triple13)] The lion needs the cat.[(triple14)] The lion visits the cat.[(triple15)] The lion visits the cow.[(triple16)] @1: The cat needs the cow.[(((triple2) -> rule7))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is not round.
("cat" "is" "round" "-")
triple3
The cat visits the cow.
("cat" "visits" "cow" "+")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow does not chase the lion.
("cow" "chases" "lion" "-")
triple6
The cow does not need the lion.
("cow" "needs" "lion" "-")
triple10
The cow is not nice.
("cow" "is" "nice" "-")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow needs the cat.
("cow" "needs" "cat" "+")
triple9
The cow visits the lion.
("cow" "visits" "lion" "+")
triple11
The lion chases the cat.
("lion" "chases" "cat" "+")
triple12
The lion is rough.
("lion" "is" "rough" "+")
triple13
The lion needs the cat.
("lion" "needs" "cat" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15
The lion visits the cow.
("lion" "visits" "cow" "+")
triple16
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple2) -> (rule7 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1