The bald eagle is not cold. The bald eagle likes the squirrel. The bald eagle needs the bear. The bald eagle does not visit the squirrel. The bear is cold. The bear is kind. The bear is not nice. The bear is red. The bear likes the squirrel. The bear visits the bald eagle. The bear visits the squirrel. The squirrel is round. The squirrel likes the bear. The squirrel needs the bald eagle. The squirrel visits the bald eagle. The squirrel visits the bear. If something visits the bear and it does not visit the squirrel then it is not round. If something visits the bald eagle and the bald eagle likes the squirrel then the bald eagle is nice.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is red.
("bear" "is" "red" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something visits the bear and it does not visit the squirrel then it is not round.
((("something" "visits" "bear" "+") ("something" "visits" "squirrel" "~")) -> ("something" "is" "round" "-"))
If something visits the bald eagle and the bald eagle likes the squirrel then the bald eagle is nice.
((("something" "visits" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("bald eagle" "is" "nice" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple14)]
("squirrel" "needs" "bald eagle" "+")
triple14
The bear is not red.
False
1
inv-proof
[(triple8)]
("bear" "is" "red" "-")
triple8
The bald eagle is nice.
True
3
proof
[(((triple10 triple2) -> rule2) OR ((triple15 triple2) -> rule2))]
("bald eagle" "is" "nice" "+")
((triple10 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple15 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple10 triple2) -> rule2) OR ((triple15 triple2) -> rule2))]
("bald eagle" "is" "nice" "-")
((triple10 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple15 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
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 does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle does not visit the squirrel.[(triple4)] The bald eagle is not cold.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear is cold.[(triple5)] The bear is kind.[(triple6)] The bear is not nice.[(triple7)] The bear is red.[(triple8)] The bear likes the squirrel.[(triple9)] The bear visits the bald eagle.[(triple10)] The bear visits the squirrel.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The bald eagle is nice.[(((triple10 triple2) -> rule2) OR ((triple15 triple2) -> rule2))]
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
triple4
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear is not nice.
("bear" "is" "nice" "-")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple9
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple10
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple10 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple15 triple2) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1