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