The rabbit is big. The tiger needs the rabbit. If something is green then it likes the rabbit.
The rabbit is big.
("rabbit" "is" "big" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something is green then it likes the rabbit.
((("something" "is" "green" "+")) -> ("something" "likes" "rabbit" "+"))
The rabbit is big.
True
1
proof
[(triple1)]
("rabbit" "is" "big" "+")
triple1
The tiger does not need the rabbit.
False
1
inv-proof
[(triple2)]
("tiger" "needs" "rabbit" "-")
triple2
The tiger does not like the rabbit.
Unknown
inv-rconc
[@1: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "rabbit" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The rabbit is big.[(triple1)] The tiger needs the rabbit.[(triple2)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple2