The cat is young. The cat needs the cow. The cow is not blue. The cow is young. The cow does not like the lion. The cow likes the squirrel. The lion eats the cat. The lion does not eat the squirrel. The lion is cold. The lion is young. The lion likes the cat. The squirrel eats the lion. The squirrel is cold. The squirrel is young. The squirrel likes the lion. The squirrel needs the cow. If someone likes the squirrel then the squirrel does not need the cat.
The cat is young.
("cat" "is" "young" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is young.
("cow" "is" "young" "+")
The cow does not like the lion.
("cow" "likes" "lion" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone likes the squirrel then the squirrel does not need the cat.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "needs" "cat" "-"))
The cow is young.
True
1
proof
[(triple4)]
("cow" "is" "young" "+")
triple4
The squirrel is not cold.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "cold" "-")
triple13
The lion does not need the cow.
Unknown
inv-random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "-")
The cat eats the lion.
Unknown
random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "+")
@0: The cat is young.[(triple1)] The cat needs the cow.[(triple2)] The cow does not like the lion.[(triple5)] The cow is not blue.[(triple3)] The cow is young.[(triple4)] The cow likes the squirrel.[(triple6)] The lion does not eat the squirrel.[(triple8)] The lion eats the cat.[(triple7)] The lion is cold.[(triple9)] The lion is young.[(triple10)] The lion likes the cat.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The squirrel does not need the cat.[(((triple6) -> rule1))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat needs the cow.
("cat" "needs" "cow" "+")
triple2
The cow does not like the lion.
("cow" "likes" "lion" "-")
triple5
The cow is not blue.
("cow" "is" "blue" "-")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple8
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple15
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple16
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
((triple6) -> (rule1 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1