The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit likes the squirrel. The squirrel eats the rabbit. The squirrel is kind. The squirrel is nice. The squirrel likes the rabbit. The tiger eats the squirrel. The tiger likes the rabbit. If the tiger is cold and the tiger likes the squirrel then the squirrel likes the rabbit. If the tiger is nice and the tiger eats the squirrel then the tiger likes the rabbit. If someone eats the rabbit then the rabbit eats the squirrel. If someone likes the tiger then they like the rabbit. If someone likes the squirrel and the squirrel chases the tiger then the squirrel eats the tiger. If the rabbit chases the tiger and the tiger likes the rabbit then the tiger eats the rabbit. If someone likes the rabbit and they like the squirrel then the squirrel likes the tiger. If someone is nice and they like the rabbit then they chase the tiger.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If the tiger is cold and the tiger likes the squirrel then the squirrel likes the rabbit.
((("tiger" "is" "cold" "+") ("tiger" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If the tiger is nice and the tiger eats the squirrel then the tiger likes the rabbit.
((("tiger" "is" "nice" "+") ("tiger" "eats" "squirrel" "+")) -> ("tiger" "likes" "rabbit" "+"))
If someone eats the rabbit then the rabbit eats the squirrel.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If someone likes the tiger then they like the rabbit.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the squirrel and the squirrel chases the tiger then the squirrel eats the tiger.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "tiger" "+")) -> ("squirrel" "eats" "tiger" "+"))
If the rabbit chases the tiger and the tiger likes the rabbit then the tiger eats the rabbit.
((("rabbit" "chases" "tiger" "+") ("tiger" "likes" "rabbit" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone likes the rabbit and they like the squirrel then the squirrel likes the tiger.
((("someone" "likes" "rabbit" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
If someone is nice and they like the rabbit then they chase the tiger.
((("someone" "is" "nice" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "chases" "tiger" "+"))
The rabbit likes the squirrel.
True
1
proof
[(triple6)]
("rabbit" "likes" "squirrel" "+")
triple6
The rabbit is not nice.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "nice" "-")
triple4
The tiger eats the rabbit.
True
3
proof
[(((triple1 triple12) -> rule6))]
("tiger" "eats" "rabbit" "+")
((triple1 triple12) -> (rule6 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit does not eat the squirrel.
False
2
inv-proof
[(((triple7) -> rule3) OR ((((triple1 triple12) -> rule6)) -> rule3))]
("rabbit" "eats" "squirrel" "-")
((triple7) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
((((triple1 triple12) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The squirrel does not like the tiger.
Unknown
inv-rconc
[@2: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("squirrel" "likes" "tiger" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The tiger chases the squirrel.
Unknown
random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "+")
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel eats the rabbit.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the rabbit.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The rabbit eats the squirrel.[(((triple7) -> rule3) OR ((((triple1 triple12) -> rule6)) -> rule3))] The squirrel chases the tiger.[(((triple9 triple10) -> rule8))] The tiger eats the rabbit.[(((triple1 triple12) -> rule6))] @2: The squirrel eats the tiger.[(((triple6 ((triple9 triple10) -> rule8)) -> rule5))]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((triple7) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
((((triple1 triple12) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple9 triple10) -> (rule8 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple1 triple12) -> (rule6 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple6 ((triple9 triple10) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2