The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle is big. The bald eagle is green. The bald eagle needs the bear. The bald eagle needs the cat. The bear is not green. The cat is green. The cat needs the bear. The squirrel does not chase the bald eagle. The squirrel chases the bear. The squirrel eats the cat. If someone chases the bear then the bear eats the squirrel. If the squirrel chases the bald eagle then the squirrel does not need the cat. If someone eats the squirrel then they do not chase the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear is not green.
("bear" "is" "green" "-")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If someone chases the bear then the bear eats the squirrel.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If the squirrel chases the bald eagle then the squirrel does not need the cat.
((("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "needs" "cat" "-"))
If someone eats the squirrel then they do not chase the cat.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "cat" "-"))
The cat is green.
True
1
proof
[(triple8)]
("cat" "is" "green" "+")
triple8
The cat is not green.
False
1
inv-proof
[(triple8)]
("cat" "is" "green" "-")
triple8
The bear eats the squirrel.
True
2
proof
[(((triple11) -> rule1))]
("bear" "eats" "squirrel" "+")
((triple11) -> (rule1 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear does not eat the squirrel.
False
2
inv-proof
[(((triple11) -> rule1))]
("bear" "eats" "squirrel" "-")
((triple11) -> (rule1 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear does not chase the cat.
True
3
proof
[(((((triple11) -> rule1)) -> rule3))]
("bear" "chases" "cat" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear chases the cat.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule3))]
("bear" "chases" "cat" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The squirrel does not need the bald eagle.
Unknown
inv-random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The bear does not eat the cat.
Unknown
inv-random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cat.[(triple6)] The bear is not green.[(triple7)] The cat is green.[(triple8)] The cat needs the bear.[(triple9)] The squirrel chases the bear.[(triple11)] The squirrel does not chase the bald eagle.[(triple10)] The squirrel eats the cat.[(triple12)] @1: The bear eats the squirrel.[(((triple11) -> rule1))] @2: The bear does not chase the cat.[(((((triple11) -> rule1)) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple6
The bear is not green.
("bear" "is" "green" "-")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple11) -> (rule1 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear does not chase the cat.
("bear" "chases" "cat" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2