The cat does not chase the squirrel. The cat is round. The cat does not need the dog. The cat needs the squirrel. The cat visits the cow. The cat does not visit the squirrel. The cow is not big. The cow visits the dog. The dog is green. The dog is round. The dog needs the cow. The dog needs the squirrel. The dog visits the cow. The squirrel chases the cow. The squirrel does not need the cow. If someone needs the cow then the cow is green.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is round.
("cat" "is" "round" "+")
The cat does not need the dog.
("cat" "needs" "dog" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
If someone needs the cow then the cow is green.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "green" "+"))
The dog visits the cow.
True
1
proof
[(triple13)]
("dog" "visits" "cow" "+")
triple13
The cat is not round.
False
1
inv-proof
[(triple2)]
("cat" "is" "round" "-")
triple2
The cow is green.
True
2
proof
[(((triple11) -> rule1))]
("cow" "is" "green" "+")
((triple11) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple11) -> rule1))]
("cow" "is" "green" "-")
((triple11) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The squirrel does not need the cat.
Unknown
inv-random
[@0: The squirrel needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
@0: The cat does not chase the squirrel.[(triple1)] The cat does not need the dog.[(triple3)] The cat does not visit the squirrel.[(triple6)] The cat is round.[(triple2)] The cat needs the squirrel.[(triple4)] The cat visits the cow.[(triple5)] The cow is not big.[(triple7)] The cow visits the dog.[(triple8)] The dog is green.[(triple9)] The dog is round.[(triple10)] The dog needs the cow.[(triple11)] The dog needs the squirrel.[(triple12)] The dog visits the cow.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel does not need the cow.[(triple15)] @1: The cow is green.[(((triple11) -> rule1))]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The cat does not need the dog.
("cat" "needs" "dog" "-")
triple3
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
triple6
The cat is round.
("cat" "is" "round" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow is not big.
("cow" "is" "big" "-")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog needs the cow.
("dog" "needs" "cow" "+")
triple11
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple12
The dog visits the cow.
("dog" "visits" "cow" "+")
triple13
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple14
The squirrel does not need the cow.
("squirrel" "needs" "cow" "-")
triple15
The cow is green.
("cow" "is" "green" "+")
((triple11) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1