The mouse is young. The mouse needs the squirrel. The mouse sees the rabbit. The rabbit needs the mouse. The rabbit needs the squirrel. The rabbit visits the mouse. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel sees the mouse. The squirrel sees the rabbit. The squirrel sees the tiger. The squirrel visits the rabbit. The tiger is kind. The tiger is young. The tiger needs the mouse. If someone visits the mouse and they see the rabbit then the rabbit visits the tiger. If someone visits the mouse then the mouse is young. If someone sees the rabbit and they visit the tiger then they need the tiger. If someone sees the rabbit and they visit the rabbit then the rabbit sees the tiger. If the mouse is young then the mouse visits the tiger. If someone is red and big then they see the tiger.
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone visits the mouse and they see the rabbit then the rabbit visits the tiger.
((("someone" "visits" "mouse" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "tiger" "+"))
If someone visits the mouse then the mouse is young.
((("someone" "visits" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If someone sees the rabbit and they visit the tiger then they need the tiger.
((("someone" "sees" "rabbit" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If someone sees the rabbit and they visit the rabbit then the rabbit sees the tiger.
((("someone" "sees" "rabbit" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "sees" "tiger" "+"))
If the mouse is young then the mouse visits the tiger.
((("mouse" "is" "young" "+")) -> ("mouse" "visits" "tiger" "+"))
If someone is red and big then they see the tiger.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "tiger" "+"))
The rabbit needs the squirrel.
True
1
proof
[(triple5)]
("rabbit" "needs" "squirrel" "+")
triple5
The squirrel does not see the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "mouse" "-")
triple10
The squirrel does not need the tiger.
Unknown
inv-rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "tiger" "-")
The squirrel visits the tiger.
Unknown
random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "+")
@0: The mouse is young.[(triple1 OR ((triple6) -> rule2))] The mouse needs the squirrel.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the mouse.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel sees the tiger.[(triple12)] The squirrel visits the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The mouse visits the tiger.[(((triple1) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] The rabbit sees the tiger.[(((triple11 triple13) -> rule4))] @2: The mouse needs the tiger.[(((triple3 ((triple1) -> rule5)) -> rule3) OR ((triple3 ((((triple6) -> rule2)) -> rule5)) -> rule3))]
The mouse is young.
("mouse" "is" "young" "+")
triple1
((triple6) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple3
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple5
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple11
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple12
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple16
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
((triple1) -> (rule5 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
((triple11 triple13) -> (rule4 % int1))
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((triple3 ((((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3