The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit likes the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the rabbit. The tiger needs the rabbit. If something is green then it chases the rabbit. If something chases the tiger and it likes the rabbit then the tiger needs the rabbit.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something is green then it chases the rabbit.
((("something" "is" "green" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the tiger and it likes the rabbit then the tiger needs the rabbit.
((("something" "chases" "tiger" "+") ("something" "likes" "rabbit" "+")) -> ("tiger" "needs" "rabbit" "+"))
The tiger is cold.
True
1
proof
[(triple10)]
("tiger" "is" "cold" "+")
triple10
The rabbit does not chase the tiger.
False
1
inv-proof
[(triple1)]
("rabbit" "chases" "tiger" "-")
triple1
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The rabbit chases the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple11) -> rule1))] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The rabbit chases the rabbit.[(((triple4) -> rule1))]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple9
((triple11) -> (rule1 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1