The cat chases the mouse. The cat chases the squirrel. The cat is red. The cat is rough. The cat sees the mouse. The mouse does not chase the cat. The mouse needs the squirrel. The mouse sees the cat. The rabbit chases the squirrel. The rabbit needs the mouse. The rabbit does not see the mouse. The squirrel does not chase the cat. The squirrel chases the rabbit. The squirrel is kind. The squirrel is not rough. The squirrel needs the cat. If someone is blue then they see the rabbit. If someone needs the squirrel then they see the rabbit. If someone is kind and they need the squirrel then the squirrel is young. If someone chases the mouse then they do not need the mouse. If someone needs the rabbit then the rabbit needs the squirrel. If someone needs the squirrel and they see the rabbit then the squirrel chases the rabbit. If the cat is red and the cat needs the squirrel then the cat is rough. If someone sees the rabbit then they need the rabbit. If someone sees the mouse and the mouse chases the cat then they chase the squirrel.
The cat is rough.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat sees the mouse.[(triple5)] The mouse does not chase the cat.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse sees the cat.[(triple8)] The rabbit chases the squirrel.[(triple9)] The rabbit does not see the mouse.[(triple11)] The rabbit needs the mouse.[(triple10)] The squirrel chases the rabbit.[(triple13 OR ((triple7 ((triple7) -> rule2)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule8)) -> rule5) ((((((((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule2)) -> rule6))] The squirrel does not chase the cat.[(triple12)] The squirrel is kind.[(triple14)] The squirrel is not rough.[(triple15)] The squirrel needs the cat.[(triple16)] @1: The cat does not need the mouse.[(((triple1) -> rule4))] The mouse sees the rabbit.[(((triple7) -> rule2))] @2: The mouse needs the rabbit.[(((((triple7) -> rule2)) -> rule8))] @3: The rabbit needs the squirrel.[(((((((triple7) -> rule2)) -> rule8)) -> rule5))] @4: The rabbit sees the rabbit.[(((((((((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule2))] @5: The rabbit needs the rabbit.[(((((((((((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule2)) -> rule8))]