The cat is round. The cat visits the lion. The cat visits the mouse. The lion chases the cat. The lion chases the mouse. The lion is blue. The lion is cold. The lion is green. The lion is round. The lion needs the cat. The lion does not need the mouse. The lion does not visit the cat. The lion does not visit the mouse. The mouse chases the lion. The mouse is round. The mouse needs the lion. If someone chases the mouse and they do not need the mouse then they are red. If someone chases the lion then they do not chase the cat. If someone is red and they need the cat then the cat does not chase the mouse.
The cat chases the mouse.
@0: The cat is round.[(triple1)] The cat visits the lion.[(triple2)] The cat visits the mouse.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the mouse.[(triple5)] The lion does not need the mouse.[(triple11)] The lion does not visit the cat.[(triple12)] The lion does not visit the mouse.[(triple13)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion is round.[(triple9)] The lion needs the cat.[(triple10)] The mouse chases the lion.[(triple14)] The mouse is round.[(triple15)] The mouse needs the lion.[(triple16)] @1: The lion is red.[(((triple5 triple11) -> rule1))] The mouse does not chase the cat.[(((triple14) -> rule2))] @2: The cat does not chase the mouse.[(((((triple5 triple11) -> rule1) triple10) -> rule3))]