The cat chases the mouse. The cat is kind. The cat is nice. The cat is rough. The cat is young. The cat likes the mouse. The cat needs the mouse. The mouse chases the cat. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the cat. The mouse needs the cat. If someone chases the mouse and the mouse likes the cat then the mouse chases the cat. If someone is rough and they like the mouse then they need the cat. If someone needs the cat then they like the mouse. If someone needs the cat and the cat likes the mouse then the cat is nice. If someone likes the cat and they like the mouse then the cat needs the mouse. If someone is round and they need the cat then the cat needs the mouse.
The cat does not chase the cat.
@0: The cat chases the mouse.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((triple15 triple6) -> rule4) OR ((((triple4 triple6) -> rule2) triple6) -> rule4))] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6)] The cat needs the mouse.[(triple7 OR ((triple12 triple15) -> rule6) OR ((triple14 ((triple15) -> rule3)) -> rule5))] The mouse chases the cat.[(triple8 OR ((triple1 triple14) -> rule1))] The mouse is kind.[(triple9)] The mouse is nice.[(triple10)] The mouse is rough.[(triple11)] The mouse is round.[(triple12)] The mouse is young.[(triple13)] The mouse likes the cat.[(triple14)] The mouse needs the cat.[(triple15)] @1: The cat needs the cat.[(((triple4 triple6) -> rule2))] The mouse likes the mouse.[(((triple15) -> rule3))]