The bald eagle is cold. The bald eagle sees the mouse. The bear chases the bald eagle. The bear is blue. The bear is young. The bear sees the bald eagle. The mouse is blue. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse sees the bear. If something likes the bald eagle and it is young then the bald eagle chases the bear. If something likes the bald eagle and the bald eagle is cold then the bald eagle sees the bear. If something is cold and it likes the mouse then it chases the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something likes the bald eagle and it is young then the bald eagle chases the bear.
((("something" "likes" "bald eagle" "+") ("something" "is" "young" "+")) -> ("bald eagle" "chases" "bear" "+"))
If something likes the bald eagle and the bald eagle is cold then the bald eagle sees the bear.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something is cold and it likes the mouse then it chases the bear.
((("something" "is" "cold" "+") ("something" "likes" "mouse" "+")) -> ("something" "chases" "bear" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple9)]
("mouse" "sees" "bald eagle" "+")
triple9
The mouse is not blue.
False
1
inv-proof
[(triple7)]
("mouse" "is" "blue" "-")
triple7
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is blue.[(triple4)] The bear is young.[(triple5)] The bear sees the bald eagle.[(triple6)] The mouse is blue.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the bear.[(triple10)] @1: The bald eagle sees the bear.[(((triple8 triple1) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple8 triple1) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1