The rabbit eats the tiger. The rabbit is blue. The rabbit is red. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is rough. The tiger sees the rabbit. If the rabbit needs the tiger and the rabbit is round then the rabbit is big. If someone is red and rough then they see the rabbit.
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If the rabbit needs the tiger and the rabbit is round then the rabbit is big.
((("rabbit" "needs" "tiger" "+") ("rabbit" "is" "round" "+")) -> ("rabbit" "is" "big" "+"))
If someone is red and rough then they see the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "rabbit" "+"))
The rabbit is red.
True
1
proof
[(triple3)]
("rabbit" "is" "red" "+")
triple3
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple5)]
("tiger" "eats" "rabbit" "-")
triple5
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The rabbit eats the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is red.[(triple3)] The rabbit sees the tiger.[(triple4)] The tiger eats the rabbit.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the rabbit.[(triple7)]
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple4
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple7