The bear eats the squirrel. The bear is red. The dog does not chase the squirrel. The dog eats the squirrel. The dog is not red. The dog likes the bear. The squirrel is big. If something likes the bear then the bear is round.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If something likes the bear then the bear is round.
((("something" "likes" "bear" "+")) -> ("bear" "is" "round" "+"))
The dog likes the bear.
True
1
proof
[(triple6)]
("dog" "likes" "bear" "+")
triple6
The dog is red.
False
1
inv-proof
[(triple5)]
("dog" "is" "red" "+")
triple5
The bear is round.
True
2
proof
[(((triple6) -> rule1))]
("bear" "is" "round" "+")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("bear" "is" "round" "-")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel does not like the dog.
Unknown
inv-random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is red.[(triple2)] The dog does not chase the squirrel.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is not red.[(triple5)] The dog likes the bear.[(triple6)] The squirrel is big.[(triple7)] @1: The bear is round.[(((triple6) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple4
The dog is not red.
("dog" "is" "red" "-")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The bear is round.
("bear" "is" "round" "+")
((triple6) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1