The bald eagle eats the squirrel. The lion sees the rabbit. The rabbit sees the bald eagle. The squirrel is red. If something is blue and red then it needs the rabbit. If the rabbit eats the lion and the lion does not need the squirrel then the rabbit is green. If the squirrel is green and the squirrel is cold then the squirrel sees the lion. If the rabbit is rough then the rabbit needs the bald eagle. If something sees the bald eagle and the bald eagle needs the rabbit then it is green. If the squirrel needs the lion and the squirrel sees the bald eagle then the squirrel is rough. If something eats the squirrel then it eats the lion. If the rabbit is cold and the rabbit needs the lion then the rabbit sees the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something is blue and red then it needs the rabbit.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "needs" "rabbit" "+"))
If the rabbit eats the lion and the lion does not need the squirrel then the rabbit is green.
((("rabbit" "eats" "lion" "+") ("lion" "needs" "squirrel" "~")) -> ("rabbit" "is" "green" "+"))
If the squirrel is green and the squirrel is cold then the squirrel sees the lion.
((("squirrel" "is" "green" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "sees" "lion" "+"))
If the rabbit is rough then the rabbit needs the bald eagle.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If something sees the bald eagle and the bald eagle needs the rabbit then it is green.
((("something" "sees" "bald eagle" "+") ("bald eagle" "needs" "rabbit" "+")) -> ("something" "is" "green" "+"))
If the squirrel needs the lion and the squirrel sees the bald eagle then the squirrel is rough.
((("squirrel" "needs" "lion" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "is" "rough" "+"))
If something eats the squirrel then it eats the lion.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "lion" "+"))
If the rabbit is cold and the rabbit needs the lion then the rabbit sees the squirrel.
((("rabbit" "is" "cold" "+") ("rabbit" "needs" "lion" "+")) -> ("rabbit" "sees" "squirrel" "+"))
The squirrel is red.
True
1
proof
[(triple4)]
("squirrel" "is" "red" "+")
triple4
The squirrel is not red.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "red" "-")
triple4
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The bald eagle sees the rabbit.
Unknown
random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The lion sees the rabbit.[(triple2)] The rabbit sees the bald eagle.[(triple3)] The squirrel is red.[(triple4)] @1: The bald eagle eats the lion.[(((triple1) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule7 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1