The bald eagle eats the squirrel. The bald eagle is blue. The squirrel is red. If the bald eagle eats the squirrel then the bald eagle sees the squirrel. If the bald eagle sees the squirrel then the bald eagle is blue. If someone sees the squirrel and they eat the squirrel then the squirrel is big.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If the bald eagle eats the squirrel then the bald eagle sees the squirrel.
((("bald eagle" "eats" "squirrel" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If the bald eagle sees the squirrel then the bald eagle is blue.
((("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone sees the squirrel and they eat the squirrel then the squirrel is big.
((("someone" "sees" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
The squirrel is red.
True
1
proof
[(triple3)]
("squirrel" "is" "red" "+")
triple3
The squirrel is not red.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "red" "-")
triple3
The bald eagle sees the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The squirrel is big.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("squirrel" "is" "big" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The squirrel is not big.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("squirrel" "is" "big" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel sees the bald eagle.
Unknown
random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2 OR ((((triple1) -> rule1)) -> rule2))] The squirrel is red.[(triple3)] @1: The bald eagle sees the squirrel.[(((triple1) -> rule1))] @2: The squirrel is big.[(((((triple1) -> rule1) triple1) -> rule3))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2