The rabbit eats the tiger. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is cold. The tiger is rough. The tiger needs the rabbit. If something chases the rabbit and the rabbit chases the tiger then it needs the tiger. If something is cold and it needs the tiger then it chases the 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 round.
("rabbit" "is" "round" "+")
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 rough.
("tiger" "is" "rough" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something chases the rabbit and the rabbit chases the tiger then it needs the tiger.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "tiger" "+")) -> ("something" "needs" "tiger" "+"))
If something is cold and it needs the tiger then it chases the tiger.
((("something" "is" "cold" "+") ("something" "needs" "tiger" "+")) -> ("something" "chases" "tiger" "+"))
The rabbit needs the tiger.
True
1
proof
[(triple5)]
("rabbit" "needs" "tiger" "+")
triple5
The rabbit does not need the tiger.
False
1
inv-proof
[(triple5)]
("rabbit" "needs" "tiger" "-")
triple5
The rabbit chases the tiger.
True
3
proof
[(((triple2 triple5) -> rule2))]
("rabbit" "chases" "tiger" "+")
((triple2 triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit does not chase the tiger.
False
3
inv-proof
[(((triple2 triple5) -> rule2))]
("rabbit" "chases" "tiger" "-")
((triple2 triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The tiger needs the tiger.
True
5
proof
[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))]
("tiger" "needs" "tiger" "+")
((triple6 ((triple2 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The tiger does not need the tiger.
False
5
inv-proof
[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))]
("tiger" "needs" "tiger" "-")
((triple6 ((triple2 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The tiger chases the tiger.
True
7
proof
[(((triple8 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "+")
((triple8 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The tiger does not chase the tiger.
False
7
inv-proof
[(((triple8 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "-")
((triple8 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
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 is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The rabbit eats the tiger.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is cold.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The rabbit chases the tiger.[(((triple2 triple5) -> rule2))] @2: The tiger needs the tiger.[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))] @3: The tiger chases the tiger.[(((triple8 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule2))]
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple5
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple6
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple10
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((triple2 triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple6 ((triple2 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple8 ((triple6 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3