The bald eagle is not kind. The lion needs the tiger. The mouse visits the lion. The tiger does not visit the bald eagle. If someone visits the tiger then the tiger is rough. If someone eats the bald eagle then they are blue. If someone visits the tiger then the tiger eats the lion. If someone visits the tiger and the tiger does not need the mouse then the mouse is round. If someone needs the lion and the lion needs the mouse then the lion is cold. If someone visits the tiger then they eat the lion.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If someone visits the tiger then the tiger is rough.
((("someone" "visits" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If someone eats the bald eagle then they are blue.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the tiger then the tiger eats the lion.
((("someone" "visits" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If someone visits the tiger and the tiger does not need the mouse then the mouse is round.
((("someone" "visits" "tiger" "+") ("tiger" "needs" "mouse" "~")) -> ("mouse" "is" "round" "+"))
If someone needs the lion and the lion needs the mouse then the lion is cold.
((("someone" "needs" "lion" "+") ("lion" "needs" "mouse" "+")) -> ("lion" "is" "cold" "+"))
If someone visits the tiger then they eat the lion.
((("someone" "visits" "tiger" "+")) -> ("someone" "eats" "lion" "+"))
The lion needs the tiger.
True
1
proof
[(triple2)]
("lion" "needs" "tiger" "+")
triple2
The lion does not need the tiger.
False
1
inv-proof
[(triple2)]
("lion" "needs" "tiger" "-")
triple2
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "blue" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle is not kind.[(triple1)] The lion needs the tiger.[(triple2)] The mouse visits the lion.[(triple3)] The tiger does not visit the bald eagle.[(triple4)]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple3
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple4