The bald eagle likes the bear. The bear likes the cow. The cow is blue. The rabbit eats the bear. If something likes the cow then it is not round. If something is cold then it does not see the bald eagle.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If something likes the cow then it is not round.
((("something" "likes" "cow" "+")) -> ("something" "is" "round" "-"))
If something is cold then it does not see the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "sees" "bald eagle" "-"))
The cow is blue.
True
1
proof
[(triple3)]
("cow" "is" "blue" "+")
triple3
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear likes the cow.[(triple2)] The cow is blue.[(triple3)] The rabbit eats the bear.[(triple4)] @1: The bear is not round.[(((triple2) -> rule1))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple4
The bear is not round.
("bear" "is" "round" "-")
((triple2) -> (rule1 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1