The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The rabbit does not chase the squirrel. The rabbit is not young. The rabbit does not like the bald eagle. The rabbit does not like the squirrel. The squirrel chases the bald eagle. The squirrel is cold. The squirrel likes the rabbit. The squirrel does not see the rabbit. If the bald eagle sees the rabbit then the bald eagle does not chase the squirrel. If something chases the bald eagle then the bald eagle likes the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
If the bald eagle sees the rabbit then the bald eagle does not chase the squirrel.
((("bald eagle" "sees" "rabbit" "+")) -> ("bald eagle" "chases" "squirrel" "-"))
If something chases the bald eagle then the bald eagle likes the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple12)]
("squirrel" "chases" "bald eagle" "+")
triple12
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The bald eagle sees the squirrel.[(triple7)] The rabbit does not chase the squirrel.[(triple8)] The rabbit does not like the bald eagle.[(triple10)] The rabbit does not like the squirrel.[(triple11)] The rabbit is not young.[(triple9)] The squirrel chases the bald eagle.[(triple12)] The squirrel does not see the rabbit.[(triple15)] The squirrel is cold.[(triple13)] The squirrel likes the rabbit.[(triple14)] @1: The bald eagle does not chase the squirrel.[(((triple6) -> rule1))] The bald eagle likes the rabbit.[(((triple12) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple6
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple7
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple8
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple10
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple11
The rabbit is not young.
("rabbit" "is" "young" "-")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple12
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
((triple6) -> (rule1 % int1))
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple12) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1