The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is not blue. The bald eagle is rough. The bald eagle sees the bear. The bear is not rough. The squirrel eats the bear. If someone chases the bear and they do not eat the squirrel then the squirrel chases the bear. If someone sees the squirrel then they eat the bald eagle. If someone eats the bald eagle and they eat the bear then they are nice. If someone eats the bear and the bear is kind then the bear does not see the bald eagle. If someone is red and not kind then they see the bear. If someone sees the bear then they see the squirrel.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
If someone chases the bear and they do not eat the squirrel then the squirrel chases the bear.
((("someone" "chases" "bear" "+") ("someone" "eats" "squirrel" "~")) -> ("squirrel" "chases" "bear" "+"))
If someone sees the squirrel then they eat the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they eat the bear then they are nice.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bear and the bear is kind then the bear does not see the bald eagle.
((("someone" "eats" "bear" "+") ("bear" "is" "kind" "+")) -> ("bear" "sees" "bald eagle" "-"))
If someone is red and not kind then they see the bear.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "sees" "bear" "+"))
If someone sees the bear then they see the squirrel.
((("someone" "sees" "bear" "+")) -> ("someone" "sees" "squirrel" "+"))
The squirrel eats the bear.
True
1
proof
[(triple7)]
("squirrel" "eats" "bear" "+")
triple7
The bald eagle is blue.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "blue" "+")
triple3
The bald eagle sees the squirrel.
True
2
proof
[(((triple5) -> rule6))]
("bald eagle" "sees" "squirrel" "+")
((triple5) -> (rule6 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle does not see the squirrel.
False
2
inv-proof
[(((triple5) -> rule6))]
("bald eagle" "sees" "squirrel" "-")
((triple5) -> (rule6 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple5) -> rule6)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle is nice.
True
5
proof
[(((((((triple5) -> rule6)) -> rule2) triple2) -> rule3))]
("bald eagle" "is" "nice" "+")
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int3
The bald eagle is not nice.
False
5
inv-proof
[(((((((triple5) -> rule6)) -> rule2) triple2) -> rule3))]
("bald eagle" "is" "nice" "-")
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int3
The bear does not see the squirrel.
Unknown
inv-rconc
[@2: The bear sees the squirrel.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("bear" "sees" "squirrel" "-")
The squirrel is nice.
Unknown
rconc
[@4: The squirrel is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- rule5 <- FAIL)]]
("squirrel" "is" "nice" "+")
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@3: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule5 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@2: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear chases the squirrel.
Unknown
random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear is not rough.[(triple6)] The squirrel eats the bear.[(triple7)] @1: The bald eagle sees the squirrel.[(((triple5) -> rule6))] @2: The bald eagle eats the bald eagle.[(((((triple5) -> rule6)) -> rule2))] @3: The bald eagle is nice.[(((((((triple5) -> rule6)) -> rule2) triple2) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bear is not rough.
("bear" "is" "rough" "-")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((triple5) -> (rule6 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int3