The bald eagle does not eat the squirrel. The bald eagle is blue. The bald eagle does not see the cat. The bald eagle sees the squirrel. The cat is not kind. The cat is red. The cat is not rough. The cat needs the squirrel. The cat does not see the bald eagle. The cat sees the squirrel. The squirrel does not eat the cat. The squirrel sees the bald eagle. If someone eats the squirrel then they need the cat. If someone sees the squirrel then the squirrel eats the bald eagle. If someone eats the bald eagle then they are blue. If someone sees the cat then the cat sees the bald eagle. If someone needs the squirrel and the squirrel needs the bald eagle then the squirrel is not kind. If someone is blue then they do not see the cat.
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone eats the squirrel then they need the cat.
((("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "cat" "+"))
If someone sees the squirrel then the squirrel eats the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they are blue.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the cat then the cat sees the bald eagle.
((("someone" "sees" "cat" "+")) -> ("cat" "sees" "bald eagle" "+"))
If someone needs the squirrel and the squirrel needs the bald eagle then the squirrel is not kind.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "is" "kind" "-"))
If someone is blue then they do not see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "-"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The squirrel eats the bald eagle.
True
2
proof
[(((triple10) -> rule2) OR ((triple4) -> rule2))]
("squirrel" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple4) -> rule2))]
("squirrel" "eats" "bald eagle" "-")
((triple10) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is blue.
True
3
proof
[(((((triple10) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("squirrel" "is" "blue" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel is not blue.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("squirrel" "is" "blue" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel does not see the cat.
True
4
proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))]
("squirrel" "sees" "cat" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel sees the cat.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))]
("squirrel" "sees" "cat" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The cat needs the cat.
Unknown
rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "+")
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "blue" "-")
The squirrel needs the cat.
Unknown
rconc
[@1: The squirrel needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "cat" "+")
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 bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the bald eagle.
Unknown
random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "+")
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not see the cat.[(triple3 OR ((triple2) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle sees the squirrel.[(triple4)] The cat does not see the bald eagle.[(triple9)] The cat is not kind.[(triple5)] The cat is not rough.[(triple7)] The cat is red.[(triple6)] The cat needs the squirrel.[(triple8)] The cat sees the squirrel.[(triple10)] The squirrel does not eat the cat.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The squirrel eats the bald eagle.[(((triple10) -> rule2) OR ((triple4) -> rule2))] @2: The squirrel is blue.[(((((triple10) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] @3: The squirrel does not see the cat.[(((((((triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))]
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple1
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
triple3
((triple2) -> (rule6 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple9
The cat is not kind.
("cat" "is" "kind" "-")
triple5
The cat is not rough.
("cat" "is" "rough" "-")
triple7
The cat is red.
("cat" "is" "red" "+")
triple6
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple8
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple10
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
triple11
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple12
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple4) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3