The bald eagle needs the tiger. The lion needs the tiger. The squirrel likes the tiger. The tiger is nice. If someone needs the squirrel then they are nice. If someone is cold then they are big. If someone eats the bald eagle then they eat the squirrel.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone needs the squirrel then they are nice.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bald eagle then they eat the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "squirrel" "+"))
The tiger is nice.
True
1
proof
[(triple4)]
("tiger" "is" "nice" "+")
triple4
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "tiger" "-")
triple1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
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 needs the tiger.[(triple1)] The lion needs the tiger.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger is nice.[(triple4)]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple3
The tiger is nice.
("tiger" "is" "nice" "+")
triple4