The cat is green. The cow is not kind. The cow is rough. The mouse chases the cow. The mouse is cold. The mouse is green. The mouse is kind. The squirrel is green. The squirrel is kind. The squirrel does not like the mouse. If something is big then it chases the mouse. If something chases the cat and the cat chases the cow then the cow chases the cat. Kind things are not rough. If something needs the squirrel and it needs the cat then the cat does not need the cow. If something is cold and it does not need the squirrel then it does not chase the cat. If something is rough and it does not like the cow then the cow likes the cat. If something chases the cow and it is not rough then the cow likes the cat. If something likes the cat then the cat does not like the squirrel.
The cat likes the mouse.
@0: The cat is green.[(triple1)] The cow is not kind.[(triple2)] The cow is rough.[(triple3)] The mouse chases the cow.[(triple4)] The mouse is cold.[(triple5)] The mouse is green.[(triple6)] The mouse is kind.[(triple7)] The squirrel does not like the mouse.[(triple10)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] @1: The mouse is not rough.[(((triple7) -> rule3))] The squirrel is not rough.[(((triple9) -> rule3))] @2: The cow likes the cat.[(((triple4 ((triple7) -> rule3)) -> rule7))] @3: The cat does not like the squirrel.[(((((triple4 ((triple7) -> rule3)) -> rule7)) -> rule8))]