The bald eagle eats the squirrel. The bald eagle needs the lion. The lion is round. The lion needs the tiger. The squirrel is big. The squirrel needs the tiger. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger is round. The tiger sees the bald eagle. If something needs the lion and the lion is big then the lion needs the bald eagle. If the bald eagle eats the squirrel then the bald eagle is blue. If something is blue then it sees the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something needs the lion and the lion is big then the lion needs the bald eagle.
((("something" "needs" "lion" "+") ("lion" "is" "big" "+")) -> ("lion" "needs" "bald eagle" "+"))
If the bald eagle eats the squirrel then the bald eagle is blue.
((("bald eagle" "eats" "squirrel" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is blue then it sees the squirrel.
((("something" "is" "blue" "+")) -> ("something" "sees" "squirrel" "+"))
The squirrel sees the tiger.
True
1
proof
[(triple8)]
("squirrel" "sees" "tiger" "+")
triple8
The squirrel does not see the tiger.
False
1
inv-proof
[(triple8)]
("squirrel" "sees" "tiger" "-")
triple8
The lion does not need the bald eagle.
Unknown
inv-rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "bald eagle" "-")
The tiger needs the squirrel.
Unknown
random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the lion.[(triple2)] The lion is round.[(triple3)] The lion needs the tiger.[(triple4)] The squirrel is big.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel sees the bald eagle.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger is round.[(triple9)] The tiger sees the bald eagle.[(triple10)] @1: The bald eagle is blue.[(((triple1) -> rule2))] @2: The bald eagle sees the squirrel.[(((((triple1) -> rule2)) -> rule3))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple4
The squirrel is big.
("squirrel" "is" "big" "+")
triple5
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple10
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2