The rabbit chases the squirrel. The rabbit is round. The rabbit needs the squirrel. The rabbit needs the tiger. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel sees the rabbit. The tiger chases the rabbit. The tiger needs the squirrel. If the rabbit is red and the rabbit is rough then the rabbit chases the squirrel. If something is rough and it chases the tiger then it needs the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If the rabbit is red and the rabbit is rough then the rabbit chases the squirrel.
((("rabbit" "is" "red" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If something is rough and it chases the tiger then it needs the rabbit.
((("something" "is" "rough" "+") ("something" "chases" "tiger" "+")) -> ("something" "needs" "rabbit" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple15)]
("tiger" "needs" "squirrel" "+")
triple15
The rabbit is not round.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "round" "-")
triple2
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is round.[(triple2)] The rabbit needs the squirrel.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the rabbit.[(triple11 OR ((triple10 triple7) -> rule2))] The squirrel needs the tiger.[(triple12)] The squirrel sees the rabbit.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger needs the squirrel.[(triple15)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit is round.
("rabbit" "is" "round" "+")
triple2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple3
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple4
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
((triple10 triple7) -> (rule2 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple12
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple13
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15