The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit eats the tiger. The rabbit is cold. The rabbit is round. The rabbit likes the squirrel. The squirrel chases the tiger. The squirrel eats the rabbit. The squirrel likes the rabbit. The squirrel likes the tiger. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is cold. The tiger is kind. The tiger is rough. If someone is cold then they chase the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone is cold then they chase the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "rabbit" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple8)]
("squirrel" "eats" "rabbit" "+")
triple8
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "rabbit" "-")
triple12
The rabbit chases the rabbit.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((triple4) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The squirrel does not chase the rabbit.
Unknown
inv-rconc
[@1: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel likes the tiger.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is cold.[(triple13)] The tiger is kind.[(triple14)] The tiger is rough.[(triple15)] @1: The rabbit chases the rabbit.[(((triple4) -> rule1))] The tiger chases the rabbit.[(((triple13) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple11
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
((triple13) -> (rule1 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1