The bald eagle is young. The bald eagle likes the lion. The bald eagle likes the squirrel. The lion does not chase the squirrel. The lion is big. The lion is rough. The lion does not like the squirrel. The lion visits the bald eagle. The lion does not visit the squirrel. The squirrel is cold. The squirrel is not rough. The squirrel is not round. The squirrel likes the bald eagle. The squirrel does not like the lion. The squirrel does not visit the bald eagle. The squirrel visits the lion. If the bald eagle visits the lion then the bald eagle is not young. If someone likes the bald eagle and they visit the lion then they like the squirrel.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the bald eagle visits the lion then the bald eagle is not young.
((("bald eagle" "visits" "lion" "+")) -> ("bald eagle" "is" "young" "-"))
If someone likes the bald eagle and they visit the lion then they like the squirrel.
((("someone" "likes" "bald eagle" "+") ("someone" "visits" "lion" "+")) -> ("someone" "likes" "squirrel" "+"))
The lion does not chase the squirrel.
True
1
proof
[(triple4)]
("lion" "chases" "squirrel" "-")
triple4
The lion is not rough.
False
1
inv-proof
[(triple6)]
("lion" "is" "rough" "-")
triple6
The squirrel likes the squirrel.
True
3
proof
[(((triple13 triple16) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple13 triple16) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
3
inv-proof
[(((triple13 triple16) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((triple13 triple16) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The lion does not chase the squirrel.[(triple4)] The lion does not like the squirrel.[(triple7)] The lion does not visit the squirrel.[(triple9)] The lion is big.[(triple5)] The lion is rough.[(triple6)] The lion visits the bald eagle.[(triple8)] The squirrel does not like the lion.[(triple14)] The squirrel does not visit the bald eagle.[(triple15)] The squirrel is cold.[(triple10)] The squirrel is not rough.[(triple11)] The squirrel is not round.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel visits the lion.[(triple16)] @1: The squirrel likes the squirrel.[(((triple13 triple16) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
triple4
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
triple7
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple9
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
triple14
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple11
The squirrel is not round.
("squirrel" "is" "round" "-")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple13
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple13 triple16) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1