The bald eagle does not see the squirrel. The lion eats the squirrel. The rabbit is rough. The squirrel likes the bald eagle. If someone eats the squirrel then the squirrel likes the lion. If someone is green then they are nice. If the lion eats the rabbit and the lion likes the bald eagle then the lion likes the rabbit. If someone is nice then they do not like the rabbit. If someone likes the squirrel then they do not like the rabbit. If someone eats the bald eagle and they eat the squirrel then the bald eagle is young. If someone is rough and they eat the bald eagle then they are not blue. If someone eats the rabbit and they are not young then the rabbit is blue.
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If someone eats the squirrel then the squirrel likes the lion.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If the lion eats the rabbit and the lion likes the bald eagle then the lion likes the rabbit.
((("lion" "eats" "rabbit" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "likes" "rabbit" "+"))
If someone is nice then they do not like the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone likes the squirrel then they do not like the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone eats the bald eagle and they eat the squirrel then the bald eagle is young.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "squirrel" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is rough and they eat the bald eagle then they are not blue.
((("someone" "is" "rough" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "-"))
If someone eats the rabbit and they are not young then the rabbit is blue.
((("someone" "eats" "rabbit" "+") ("someone" "is" "young" "~")) -> ("rabbit" "is" "blue" "+"))
The lion eats the squirrel.
True
1
proof
[(triple2)]
("lion" "eats" "squirrel" "+")
triple2
The rabbit is not rough.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "rough" "-")
triple3
The lion does not like the rabbit.
Unknown
inv-rconc
[@1: The lion likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "rabbit" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bald eagle does not see the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The rabbit is rough.[(triple3)] The squirrel likes the bald eagle.[(triple4)] @1: The squirrel likes the lion.[(((triple2) -> rule1))]
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple4
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple2) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1