The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is nice. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel is big. The squirrel is nice. The squirrel is round. The squirrel sees the bald eagle. If the squirrel sees the bald eagle then the squirrel chases the bald eagle. If someone is round then they visit the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If the squirrel sees the bald eagle then the squirrel chases the bald eagle.
((("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone is round then they visit the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel is big.
True
1
proof
[(triple7)]
("squirrel" "is" "big" "+")
triple7
The squirrel is not nice.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "nice" "-")
triple8
The squirrel visits the squirrel.
True
2
proof
[(((triple9) -> rule2))]
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple9) -> rule2))]
("squirrel" "visits" "squirrel" "-")
((triple9) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The squirrel chases the bald eagle.[(triple6 OR ((triple10) -> rule1))] The squirrel is big.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is round.[(triple9)] The squirrel sees the bald eagle.[(triple10)] @1: The squirrel visits the squirrel.[(((triple9) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple6
((triple10) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1