The bald eagle chases the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is not green. The bald eagle is not nice. The bald eagle sees the lion. The bald eagle sees the mouse. The lion chases the bald eagle. The lion chases the mouse. The lion needs the bald eagle. The lion needs the mouse. The lion sees the bald eagle. The lion sees the mouse. The mouse does not chase the bald eagle. The mouse needs the bald eagle. If someone chases the bald eagle and they are kind then the bald eagle is blue. If the mouse sees the bald eagle then the mouse chases the bald eagle. If someone sees the bald eagle then they are not blue.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone chases the bald eagle and they are kind then the bald eagle is blue.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "is" "blue" "+"))
If the mouse sees the bald eagle then the mouse chases the bald eagle.
((("mouse" "sees" "bald eagle" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If someone sees the bald eagle then they are not blue.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "blue" "-"))
The mouse does not chase the bald eagle.
True
1
proof
[(triple14)]
("mouse" "chases" "bald eagle" "-")
triple14
The mouse chases the bald eagle.
False
1
inv-proof
[(triple14)]
("mouse" "chases" "bald eagle" "+")
triple14
The lion is not blue.
True
2
proof
[(((triple12) -> rule3))]
("lion" "is" "blue" "-")
((triple12) -> (rule3 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The lion is blue.
False
2
inv-proof
[(((triple12) -> rule3))]
("lion" "is" "blue" "+")
((triple12) -> (rule3 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not green.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle sees the lion.[(triple6)] The bald eagle sees the mouse.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion chases the mouse.[(triple9)] The lion needs the bald eagle.[(triple10)] The lion needs the mouse.[(triple11)] The lion sees the bald eagle.[(triple12)] The lion sees the mouse.[(triple13)] The mouse does not chase the bald eagle.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The lion is not blue.[(((triple12) -> rule3))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple13
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The lion is not blue.
("lion" "is" "blue" "-")
((triple12) -> (rule3 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1