The bald eagle is big. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The squirrel is not big. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel is not young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone needs the squirrel and they do not see the squirrel then the squirrel is not green. If someone likes the bald eagle and the bald eagle does not see the squirrel then the squirrel is blue. If someone likes the squirrel and the squirrel needs the bald eagle then the bald eagle is blue. If the squirrel sees the bald eagle then the bald eagle likes the squirrel. If someone is green and they need the bald eagle then they see the bald eagle. If someone sees the bald eagle then the bald eagle is big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone needs the squirrel and they do not see the squirrel then the squirrel is not green.
((("someone" "needs" "squirrel" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "is" "green" "-"))
If someone likes the bald eagle and the bald eagle does not see the squirrel then the squirrel is blue.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "~")) -> ("squirrel" "is" "blue" "+"))
If someone likes the squirrel and the squirrel needs the bald eagle then the bald eagle is blue.
((("someone" "likes" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the squirrel sees the bald eagle then the bald eagle likes the squirrel.
((("squirrel" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone is green and they need the bald eagle then they see the bald eagle.
((("someone" "is" "green" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle is big.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The squirrel is not young.
True
1
proof
[(triple8)]
("squirrel" "is" "young" "-")
triple8
The bald eagle is not big.
False
1
inv-proof
[(triple1 OR ((((triple6 triple10) -> rule5)) -> rule6))]
("bald eagle" "is" "big" "-")
triple1
((((triple6 triple10) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel sees the bald eagle.
True
3
proof
[(((triple6 triple10) -> rule5))]
("squirrel" "sees" "bald eagle" "+")
((triple6 triple10) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel does not see the bald eagle.
False
3
inv-proof
[(((triple6 triple10) -> rule5))]
("squirrel" "sees" "bald eagle" "-")
((triple6 triple10) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
True
4
proof
[(((((triple6 triple10) -> rule5)) -> rule4))]
("bald eagle" "likes" "squirrel" "+")
((((triple6 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle does not like the squirrel.
False
4
inv-proof
[(((((triple6 triple10) -> rule5)) -> rule4))]
("bald eagle" "likes" "squirrel" "-")
((((triple6 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
True
6
proof
[(((((((triple6 triple10) -> rule5)) -> rule4) triple10) -> rule3))]
("bald eagle" "is" "blue" "+")
((((((triple6 triple10) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle is not blue.
False
6
inv-proof
[(((((((triple6 triple10) -> rule5)) -> rule4) triple10) -> rule3))]
("bald eagle" "is" "blue" "-")
((((((triple6 triple10) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
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 bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle is big.[(triple1 OR ((((triple6 triple10) -> rule5)) -> rule6))] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The squirrel is blue.[(triple5)] The squirrel is green.[(triple6)] The squirrel is not big.[(triple4)] The squirrel is not young.[(triple8)] The squirrel is red.[(triple7)] The squirrel likes the bald eagle.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The squirrel sees the bald eagle.[(((triple6 triple10) -> rule5))] @2: The bald eagle likes the squirrel.[(((((triple6 triple10) -> rule5)) -> rule4))] @3: The bald eagle is blue.[(((((((triple6 triple10) -> rule5)) -> rule4) triple10) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((((triple6 triple10) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is not big.
("squirrel" "is" "big" "-")
triple4
The squirrel is not young.
("squirrel" "is" "young" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple6 triple10) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((triple6 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((((triple6 triple10) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3