The bald eagle eats the tiger. The rabbit needs the tiger. The squirrel is young. The tiger is young. If someone eats the tiger and they need the squirrel then the squirrel is cold.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone eats the tiger and they need the squirrel then the squirrel is cold.
((("someone" "eats" "tiger" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
The squirrel is young.
True
1
proof
[(triple3)]
("squirrel" "is" "young" "+")
triple3
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The bald eagle eats the tiger.[(triple1)] The rabbit needs the tiger.[(triple2)] The squirrel is young.[(triple3)] The tiger is young.[(triple4)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The tiger is young.
("tiger" "is" "young" "+")
triple4