The bald eagle is kind. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the squirrel. The bear chases the bald eagle. The bear chases the squirrel. The bear is red. The bear is rough. The bear sees the bald eagle. The bear sees the squirrel. The bear visits the bald eagle. The bear visits the squirrel. The squirrel chases the bear. The squirrel sees the bald eagle. The squirrel visits the bear. If someone visits the bald eagle then they chase the bald eagle. If someone is cold then they chase the squirrel. If someone visits the bear then they see the squirrel. If someone sees the bear then the bear is not cold. If someone is kind and they visit the bald eagle then the bald eagle is red. If someone visits the squirrel then the squirrel visits the bald eagle. If someone visits the squirrel then they see the bear. If someone chases the bald eagle and they chase the bear then they are red.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone visits the bald eagle then they chase the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is cold then they chase the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the bear then they see the squirrel.
((("someone" "visits" "bear" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the bear then the bear is not cold.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "cold" "-"))
If someone is kind and they visit the bald eagle then the bald eagle is red.
((("someone" "is" "kind" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone visits the squirrel then the squirrel visits the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone visits the squirrel then they see the bear.
((("someone" "visits" "squirrel" "+")) -> ("someone" "sees" "bear" "+"))
If someone chases the bald eagle and they chase the bear then they are red.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "bear" "+")) -> ("someone" "is" "red" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple14)]
("squirrel" "sees" "bald eagle" "+")
triple14
The bear does not visit the squirrel.
False
1
inv-proof
[(triple12)]
("bear" "visits" "squirrel" "-")
triple12
The squirrel visits the bald eagle.
True
2
proof
[(((triple12) -> rule6) OR ((triple4) -> rule6))]
("squirrel" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
((triple4) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple15) -> rule3))]
("squirrel" "sees" "squirrel" "-")
((triple15) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel chases the bald eagle.
True
3
proof
[(((((triple12) -> rule6)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))]
("squirrel" "chases" "bald eagle" "+")
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule6)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))]
("squirrel" "chases" "bald eagle" "-")
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is red.
True
5
proof
[(((((((triple12) -> rule6)) -> rule1) triple13) -> rule8) OR ((((((triple4) -> rule6)) -> rule1) triple13) -> rule8))]
("squirrel" "is" "red" "+")
((((((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is not red.
False
5
inv-proof
[(((((((triple12) -> rule6)) -> rule1) triple13) -> rule8) OR ((((((triple4) -> rule6)) -> rule1) triple13) -> rule8))]
("squirrel" "is" "red" "-")
((((((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel sees the bear.
Unknown
rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "sees" "bear" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle chases the bear.
Unknown
random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the bear.[(triple2 OR ((triple4) -> rule7))] The bald eagle visits the bear.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear chases the bald eagle.[(triple5 OR ((triple11) -> rule1))] The bear chases the squirrel.[(triple6)] The bear is red.[(triple7)] The bear is rough.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear sees the squirrel.[(triple10)] The bear visits the bald eagle.[(triple11)] The bear visits the squirrel.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bald eagle sees the squirrel.[(((triple3) -> rule3))] The bear is not cold.[(((triple2) -> rule4) OR ((((triple12) -> rule7)) -> rule4) OR ((((triple4) -> rule7)) -> rule4))] The bear sees the bear.[(((triple12) -> rule7))] The squirrel sees the squirrel.[(((triple15) -> rule3))] The squirrel visits the bald eagle.[(((triple12) -> rule6) OR ((triple4) -> rule6))] @2: The squirrel chases the bald eagle.[(((((triple12) -> rule6)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] @3: The squirrel is red.[(((((((triple12) -> rule6)) -> rule1) triple13) -> rule8) OR ((((((triple4) -> rule6)) -> rule1) triple13) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
((triple4) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
((triple11) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple9
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple10
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple11
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple12
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((triple3) -> (rule3 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bear is not cold.
("bear" "is" "cold" "-")
((triple2) -> (rule4 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule4 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple12) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple15) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
((triple4) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3