The cat is green. The dog chases the lion. The dog is not cold. The dog is not rough. The dog does not like the lion. The lion does not like the squirrel. The squirrel does not chase the dog. The squirrel is cold. The squirrel likes the cat. The squirrel does not like the dog. The squirrel likes the lion. The squirrel needs the lion. If something needs the squirrel and the squirrel needs the cat then the cat does not like the lion. If something likes the lion and the lion chases the dog then the lion likes the dog. If something needs the lion then the lion does not need the squirrel.
The cat is green.
("cat" "is" "green" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is not rough.
("dog" "is" "rough" "-")
The dog does not like the lion.
("dog" "likes" "lion" "-")
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
The squirrel does not chase the dog.
("squirrel" "chases" "dog" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something needs the squirrel and the squirrel needs the cat then the cat does not like the lion.
((("something" "needs" "squirrel" "+") ("squirrel" "needs" "cat" "+")) -> ("cat" "likes" "lion" "-"))
If something likes the lion and the lion chases the dog then the lion likes the dog.
((("something" "likes" "lion" "+") ("lion" "chases" "dog" "+")) -> ("lion" "likes" "dog" "+"))
If something needs the lion then the lion does not need the squirrel.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "squirrel" "-"))
The dog is not cold.
True
1
proof
[(triple3)]
("dog" "is" "cold" "-")
triple3
The dog is cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The lion does not need the squirrel.
True
2
proof
[(((triple12) -> rule3))]
("lion" "needs" "squirrel" "-")
((triple12) -> (rule3 % int1))
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
int1
The lion needs the squirrel.
False
2
inv-proof
[(((triple12) -> rule3))]
("lion" "needs" "squirrel" "+")
((triple12) -> (rule3 % int1))
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
int1
The lion does not like the dog.
Unknown
inv-rconc
[@1: The lion likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "dog" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The cat is green.[(triple1)] The dog chases the lion.[(triple2)] The dog does not like the lion.[(triple5)] The dog is not cold.[(triple3)] The dog is not rough.[(triple4)] The lion does not like the squirrel.[(triple6)] The squirrel does not chase the dog.[(triple7)] The squirrel does not like the dog.[(triple10)] The squirrel is cold.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel likes the lion.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The lion does not need the squirrel.[(((triple12) -> rule3))]
The cat is green.
("cat" "is" "green" "+")
triple1
The dog chases the lion.
("dog" "chases" "lion" "+")
triple2
The dog does not like the lion.
("dog" "likes" "lion" "-")
triple5
The dog is not cold.
("dog" "is" "cold" "-")
triple3
The dog is not rough.
("dog" "is" "rough" "-")
triple4
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
triple6
The squirrel does not chase the dog.
("squirrel" "chases" "dog" "-")
triple7
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple9
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple11
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
((triple12) -> (rule3 % int1))
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
int1