The bear sees the cat. The bear does not visit the squirrel. The cat is not green. The cat visits the squirrel. The dog is green. The dog is round. The dog sees the bear. The dog does not see the cat. The squirrel eats the cat. The squirrel eats the dog. The squirrel is red. The squirrel is round. The squirrel sees the bear. The squirrel sees the cat. The squirrel does not see the dog. The squirrel visits the dog. If something sees the cat then the cat is not big.
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The cat is not green.
("cat" "is" "green" "-")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not see the cat.
("dog" "sees" "cat" "-")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something sees the cat then the cat is not big.
((("something" "sees" "cat" "+")) -> ("cat" "is" "big" "-"))
The dog does not see the cat.
True
1
proof
[(triple8)]
("dog" "sees" "cat" "-")
triple8
The squirrel does not eat the dog.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "dog" "-")
triple10
The cat is not big.
True
2
proof
[(((triple1) -> rule1) OR ((triple14) -> rule1))]
("cat" "is" "big" "-")
((triple1) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
((triple14) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cat is big.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple14) -> rule1))]
("cat" "is" "big" "+")
((triple1) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
((triple14) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The bear does not eat the dog.
Unknown
inv-random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The cat does not see the bear.
Unknown
inv-random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bear does not visit the squirrel.[(triple2)] The bear sees the cat.[(triple1)] The cat is not green.[(triple3)] The cat visits the squirrel.[(triple4)] The dog does not see the cat.[(triple8)] The dog is green.[(triple5)] The dog is round.[(triple6)] The dog sees the bear.[(triple7)] The squirrel does not see the dog.[(triple15)] The squirrel eats the cat.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel visits the dog.[(triple16)] @1: The cat is not big.[(((triple1) -> rule1) OR ((triple14) -> rule1))]
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple2
The bear sees the cat.
("bear" "sees" "cat" "+")
triple1
The cat is not green.
("cat" "is" "green" "-")
triple3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple4
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple8
The dog is green.
("dog" "is" "green" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
triple15
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple13
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The cat is not big.
("cat" "is" "big" "-")
((triple1) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
((triple14) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1