The rabbit needs the tiger. The rabbit sees the tiger. The tiger is nice. If something likes the tiger then the tiger sees the rabbit.
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something likes the tiger then the tiger sees the rabbit.
((("something" "likes" "tiger" "+")) -> ("tiger" "sees" "rabbit" "+"))
The rabbit sees the tiger.
True
1
proof
[(triple2)]
("rabbit" "sees" "tiger" "+")
triple2
The tiger is not nice.
False
1
inv-proof
[(triple3)]
("tiger" "is" "nice" "-")
triple3
The tiger does not see the rabbit.
Unknown
inv-rconc
[@1: The tiger sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "rabbit" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The rabbit needs the tiger.[(triple1)] The rabbit sees the tiger.[(triple2)] The tiger is nice.[(triple3)]
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple1
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3