The cat chases the mouse. The cat is red. The cat is round. The cat is young. The cat likes the mouse. The cat needs the mouse. The mouse chases the cat. The mouse is nice. The mouse likes the cat. The mouse needs the cat. If something is blue then it chases the mouse. If something chases the cat and it likes the mouse then the cat is young. If something is red then it chases the mouse. If something needs the mouse then the mouse likes the cat. If something is nice then it needs the cat. If something is young and red then it likes the cat.
The mouse does not chase the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple2) -> rule3))] The cat is red.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat likes the mouse.[(triple5)] The cat needs the mouse.[(triple6)] The mouse chases the cat.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the cat.[(triple9 OR ((triple6) -> rule4))] The mouse needs the cat.[(triple10 OR ((triple8) -> rule5))] @1: The cat likes the cat.[(((triple4 triple2) -> rule6))]