The bear chases the cat. The bear is rough. The bear likes the cat. The cat chases the squirrel. The cat sees the bear. The cat sees the dog. The dog likes the bear. The squirrel is kind. The squirrel is rough. The squirrel sees the cat. If the squirrel is kind then the squirrel is big.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the squirrel is kind then the squirrel is big.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "big" "+"))
The dog likes the bear.
True
1
proof
[(triple7)]
("dog" "likes" "bear" "+")
triple7
The bear does not like the cat.
False
1
inv-proof
[(triple3)]
("bear" "likes" "cat" "-")
triple3
The squirrel is big.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "is" "big" "+")
((triple8) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "big" "-")
((triple8) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The cat does not like the dog.
Unknown
inv-random
[@0: The cat likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "dog" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The dog does not see the squirrel.
Unknown
inv-random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bear chases the cat.[(triple1)] The bear is rough.[(triple2)] The bear likes the cat.[(triple3)] The cat chases the squirrel.[(triple4)] The cat sees the bear.[(triple5)] The cat sees the dog.[(triple6)] The dog likes the bear.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The squirrel is big.[(((triple8) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple4
The cat sees the bear.
("cat" "sees" "bear" "+")
triple5
The cat sees the dog.
("cat" "sees" "dog" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
((triple8) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1