The bald eagle is not young. The bald eagle likes the rabbit. The bald eagle does not need the rabbit. The bald eagle visits the rabbit. The rabbit is big. The rabbit does not like the bald eagle. The rabbit visits the bald eagle. If something likes the bald eagle and the bald eagle likes the rabbit then the rabbit is big.
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something likes the bald eagle and the bald eagle likes the rabbit then the rabbit is big.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The bald eagle is not young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The rabbit does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "bald eagle" "-")
triple7
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle does not need the rabbit.[(triple3)] The bald eagle is not young.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple4)] The rabbit does not like the bald eagle.[(triple6)] The rabbit is big.[(triple5)] The rabbit visits the bald eagle.[(triple7)]
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple3
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7