The bald eagle sees the lion. The dog sees the bald eagle. The lion eats the bald eagle. The squirrel eats the bald eagle. If something needs the squirrel and the squirrel needs the bald eagle then it is red. If something is nice and it eats the squirrel then the squirrel eats the lion. If the dog needs the bald eagle and the dog does not eat the squirrel then the bald eagle sees the lion. If something is round and it does not need the dog then the dog is round. If the dog sees the squirrel and the squirrel eats the lion then the squirrel is round. If something sees the dog and it is not red then it eats the lion.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something needs the squirrel and the squirrel needs the bald eagle then it is red.
((("something" "needs" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something is nice and it eats the squirrel then the squirrel eats the lion.
((("something" "is" "nice" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "lion" "+"))
If the dog needs the bald eagle and the dog does not eat the squirrel then the bald eagle sees the lion.
((("dog" "needs" "bald eagle" "+") ("dog" "eats" "squirrel" "~")) -> ("bald eagle" "sees" "lion" "+"))
If something is round and it does not need the dog then the dog is round.
((("something" "is" "round" "+") ("something" "needs" "dog" "~")) -> ("dog" "is" "round" "+"))
If the dog sees the squirrel and the squirrel eats the lion then the squirrel is round.
((("dog" "sees" "squirrel" "+") ("squirrel" "eats" "lion" "+")) -> ("squirrel" "is" "round" "+"))
If something sees the dog and it is not red then it eats the lion.
((("something" "sees" "dog" "+") ("something" "is" "red" "~")) -> ("something" "eats" "lion" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "eats" "bald eagle" "+")
triple4
The dog does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "sees" "bald eagle" "-")
triple2
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle sees the lion.[(triple1)] The dog sees the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] The squirrel eats the bald eagle.[(triple4)]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4