The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit likes the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the rabbit. The tiger needs the rabbit. If someone is green then they need the tiger. If someone needs the rabbit and the rabbit is kind then the rabbit chases the tiger.
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 round.
("rabbit" "is" "round" "+")
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 blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If someone is green then they need the tiger.
((("someone" "is" "green" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the rabbit and the rabbit is kind then the rabbit chases the tiger.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "chases" "tiger" "+"))
The rabbit is round.
True
1
proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
The rabbit is not blue.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "blue" "-")
triple2
The tiger needs the tiger.
True
2
proof
[(((triple11) -> rule1))]
("tiger" "needs" "tiger" "+")
((triple11) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple11) -> rule1))]
("tiger" "needs" "tiger" "-")
((triple11) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
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" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "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 round.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit needs the tiger.[(triple7 OR ((triple4) -> rule1))] The tiger chases the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The tiger needs the tiger.[(((triple11) -> 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 round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple7
((triple4) -> (rule1 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple11) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1