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