The bald eagle is nice. The bald eagle needs the tiger. The mouse needs the bald eagle. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is rough. The tiger needs the mouse. If someone sees the tiger and they do not chase the tiger then the tiger chases the bald eagle. If someone sees the tiger and they are red then the tiger does not chase the mouse.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone sees the tiger and they do not chase the tiger then the tiger chases the bald eagle.
((("someone" "sees" "tiger" "+") ("someone" "chases" "tiger" "~")) -> ("tiger" "chases" "bald eagle" "+"))
If someone sees the tiger and they are red then the tiger does not chase the mouse.
((("someone" "sees" "tiger" "+") ("someone" "is" "red" "+")) -> ("tiger" "chases" "mouse" "-"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The tiger is not rough.
False
1
inv-proof
[(triple6)]
("tiger" "is" "rough" "-")
triple6
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the tiger.[(triple2)] The mouse needs the bald eagle.[(triple3)] The tiger chases the bald eagle.[(triple4)] The tiger chases the mouse.[(triple5)] The tiger is rough.[(triple6)] The tiger needs the mouse.[(triple7)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple4
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple7