The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit visits the tiger. The tiger is big. The tiger is blue. The tiger is not kind. The tiger does not like the rabbit. The tiger needs the rabbit. The tiger visits the rabbit. If the rabbit is kind then the rabbit is big.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the rabbit is kind then the rabbit is big.
((("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "big" "+"))
The rabbit is blue.
True
1
proof
[(triple2)]
("rabbit" "is" "blue" "+")
triple2
The tiger is not blue.
False
1
inv-proof
[(triple8)]
("tiger" "is" "blue" "-")
triple8
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger does not like the rabbit.[(triple10)] The tiger is big.[(triple7)] The tiger is blue.[(triple8)] The tiger is not kind.[(triple9)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is not kind.
("tiger" "is" "kind" "-")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple11
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple12