The cat is cold. The cat is nice. The cat is red. The cat is rough. The cat is round. The cat likes the mouse. The cat needs the mouse. The cat sees the mouse. The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the cat. The mouse needs the cat. The mouse sees the cat. If someone likes the cat and they are cold then they are rough. If someone is red and rough then they see the cat.
The mouse is not rough.
@0: The cat is cold.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the mouse.[(triple6)] The cat needs the mouse.[(triple7)] The cat sees the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12 OR ((triple14 triple9) -> rule1))] The mouse is round.[(triple13)] The mouse likes the cat.[(triple14)] The mouse needs the cat.[(triple15)] The mouse sees the cat.[(triple16 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple14 triple9) -> rule1)) -> rule2))] @1: The cat sees the cat.[(((triple3 triple4) -> rule2))]