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