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