The bald eagle is cold. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the tiger. The lion is blue. The mouse chases the tiger. The mouse is cold. The mouse likes the bald eagle. The mouse does not like the lion. The tiger chases the bald eagle. If the tiger chases the bald eagle then the bald eagle does not need the mouse. If someone needs the lion then the lion is young. If the mouse is nice and the mouse chases the tiger then the mouse needs the tiger. If someone needs the tiger then the tiger chases the lion. If someone chases the tiger then they do not like the mouse. If someone needs the bald eagle and they like the lion then they need the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If the tiger chases the bald eagle then the bald eagle does not need the mouse.
((("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "-"))
If someone needs the lion then the lion is young.
((("someone" "needs" "lion" "+")) -> ("lion" "is" "young" "+"))
If the mouse is nice and the mouse chases the tiger then the mouse needs the tiger.
((("mouse" "is" "nice" "+") ("mouse" "chases" "tiger" "+")) -> ("mouse" "needs" "tiger" "+"))
If someone needs the tiger then the tiger chases the lion.
((("someone" "needs" "tiger" "+")) -> ("tiger" "chases" "lion" "+"))
If someone chases the tiger then they do not like the mouse.
((("someone" "chases" "tiger" "+")) -> ("someone" "likes" "mouse" "-"))
If someone needs the bald eagle and they like the lion then they need the tiger.
((("someone" "needs" "bald eagle" "+") ("someone" "likes" "lion" "+")) -> ("someone" "needs" "tiger" "+"))
The bald eagle likes the mouse.
True
1
proof
[(triple3)]
("bald eagle" "likes" "mouse" "+")
triple3
The lion is not blue.
False
1
inv-proof
[(triple5)]
("lion" "is" "blue" "-")
triple5
The lion does not need the tiger.
Unknown
inv-rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "needs" "tiger" "-")
The lion needs the mouse.
Unknown
random
[@0: The lion needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "mouse" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The lion is blue.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse does not like the lion.[(triple9)] The mouse is cold.[(triple7)] The mouse likes the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple10)] @1: The bald eagle does not need the mouse.[(((triple10) -> rule1))] The mouse does not like the mouse.[(((triple6) -> rule5))] The tiger chases the lion.[(((triple4) -> rule4))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
((triple10) -> (rule1 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
((triple6) -> (rule5 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
((triple4) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1