The cat chases the mouse. The cat eats the mouse. The cat is kind. The cat is nice. The cat is red. The cat likes the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. All nice things are rough.
The mouse is young.
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat likes the mouse.[(triple6)] The mouse chases the cat.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is kind.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12 OR ((triple10) -> rule1))] @1: The cat is rough.[(((triple4) -> rule1))]