The cat is kind. The cat is round. The cat is young. The cat needs the mouse. The cat sees the mouse. The mouse chases the cat. The mouse is round. The mouse is young. The mouse needs the cat. The mouse sees the cat. If something chases the mouse then it sees the cat. If something needs the cat then it needs the mouse. If something needs the mouse and it is big then the mouse sees the cat. If something chases the cat and it needs the mouse then the cat chases the mouse. If something is round and young then it needs the mouse. If the mouse chases the cat and the mouse sees the cat then the cat is kind. If something needs the cat then it sees the mouse. If something needs the mouse and it needs the cat then the mouse needs the cat.
The mouse does not chase the mouse.
@0: The cat is kind.[(triple1 OR ((triple6 triple10) -> rule6))] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat needs the mouse.[(triple4 OR ((triple2 triple3) -> rule5))] The cat sees the mouse.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8)] The mouse needs the cat.[(triple9)] The mouse sees the cat.[(triple10)] @1: The mouse needs the mouse.[(((triple9) -> rule2) OR ((triple7 triple8) -> rule5))] The mouse sees the mouse.[(((triple9) -> rule7))] @2: The cat chases the mouse.[(((triple6 ((triple9) -> rule2)) -> rule4) OR ((triple6 ((triple7 triple8) -> rule5)) -> rule4))] @3: The cat sees the cat.[(((((triple6 ((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple6 ((triple7 triple8) -> rule5)) -> rule4)) -> rule1))]