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