The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle sees the mouse. The lion sees the bald eagle. The mouse chases the bald eagle. The mouse is big. The mouse is kind. The mouse needs the bald eagle. The mouse sees the lion. If someone is big and they need the lion then they chase the lion. If someone needs the lion then the lion is big. If the bald eagle is cold then the bald eagle needs the mouse. All blue people are cold. If someone chases the bald eagle then the bald eagle is green. If someone chases the mouse then the mouse is cold. If the mouse sees the lion then the lion is kind. If someone needs the lion and they are blue then they chase the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone is big and they need the lion then they chase the lion.
((("someone" "is" "big" "+") ("someone" "needs" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone needs the lion then the lion is big.
((("someone" "needs" "lion" "+")) -> ("lion" "is" "big" "+"))
If the bald eagle is cold then the bald eagle needs the mouse.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "needs" "mouse" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone chases the mouse then the mouse is cold.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If the mouse sees the lion then the lion is kind.
((("mouse" "sees" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone needs the lion and they are blue then they chase the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "bald eagle" "+"))
The bald eagle is cold.
True
1
proof
[(triple4 OR ((triple3) -> rule4))]
("bald eagle" "is" "cold" "+")
triple4
((triple3) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle does not see the mouse.
False
1
inv-proof
[(triple6)]
("bald eagle" "sees" "mouse" "-")
triple6
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "big" "-")
The lion chases the mouse.
Unknown
random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple3) -> rule4))] The bald eagle is green.[(triple5 OR ((triple8) -> rule5))] The bald eagle sees the mouse.[(triple6)] The lion sees the bald eagle.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse sees the lion.[(triple12)] @1: The bald eagle needs the mouse.[(((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] The lion is kind.[(((triple12) -> rule7))] The mouse is cold.[(((triple2) -> rule6))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
((triple3) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
((triple8) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple11
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple12
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((triple4) -> (rule3 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((triple12) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple2) -> (rule6 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1