The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. The tiger needs the rabbit. If something is nice then it eats the rabbit.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something is nice then it eats the rabbit.
((("something" "is" "nice" "+")) -> ("something" "eats" "rabbit" "+"))
The tiger is nice.
True
1
proof
[(triple12)]
("tiger" "is" "nice" "+")
triple12
The tiger is not cold.
False
1
inv-proof
[(triple11)]
("tiger" "is" "cold" "-")
triple11
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "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 eats the tiger.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger eats the rabbit.[(triple10 OR ((triple12) -> rule1))] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple4) -> rule1))]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
((triple12) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1