The cat chases the mouse. The cat is round. The cat likes the mouse. The cat needs the mouse. The mouse chases the cat. The mouse is big. The mouse is blue. The mouse is cold. The mouse is green. The mouse is round. The mouse likes the cat. The mouse needs the cat. If something needs the cat and the cat chases the mouse then the cat likes the mouse. If the cat likes the mouse and the mouse chases the cat then the cat is round. If something needs the mouse then it needs the cat. If the mouse likes the cat and the cat likes the mouse then the cat chases the mouse. If something chases the cat then it is round. If something is big and it needs the mouse then it chases the mouse.
The mouse needs the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple11 triple3) -> rule4))] The cat is round.[(triple2 OR ((triple3 triple5) -> rule2) OR ((((triple12 triple1) -> rule1) triple5) -> rule2) OR ((((((triple4) -> rule3) triple1) -> rule1) triple5) -> rule2))] The cat likes the mouse.[(triple3 OR ((triple12 triple1) -> rule1) OR ((((triple4) -> rule3) triple1) -> rule1))] The cat needs the mouse.[(triple4)] The mouse chases the cat.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is green.[(triple9)] The mouse is round.[(triple10 OR ((triple5) -> rule5))] The mouse likes the cat.[(triple11)] The mouse needs the cat.[(triple12)] @1: The cat needs the cat.[(((triple4) -> rule3))]