The bald eagle is big. The bald eagle is red. The bald eagle likes the rabbit. The lion does not chase the rabbit. The lion is red. The lion is not rough. The lion likes the squirrel. The rabbit chases the lion. The rabbit does not chase the squirrel. The rabbit eats the squirrel. The rabbit likes the bald eagle. The squirrel is not red. If someone chases the squirrel and the squirrel is blue then the squirrel does not like the lion.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
If someone chases the squirrel and the squirrel is blue then the squirrel does not like the lion.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "likes" "lion" "-"))
The bald eagle is red.
True
1
proof
[(triple2)]
("bald eagle" "is" "red" "+")
triple2
The lion is not red.
False
1
inv-proof
[(triple5)]
("lion" "is" "red" "-")
triple5
The squirrel does not chase the bald eagle.
Unknown
inv-random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The squirrel chases the rabbit.
Unknown
random
[@0: The squirrel chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "rabbit" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The lion does not chase the rabbit.[(triple4)] The lion is not rough.[(triple6)] The lion is red.[(triple5)] The lion likes the squirrel.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit does not chase the squirrel.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The squirrel is not red.[(triple12)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple4
The lion is not rough.
("lion" "is" "rough" "-")
triple6
The lion is red.
("lion" "is" "red" "+")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple9
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple11
The squirrel is not red.
("squirrel" "is" "red" "-")
triple12