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