The dog chases the mouse. The dog is rough. The dog needs the lion. The dog needs the mouse. The lion is blue. The lion is rough. The lion is young. The mouse chases the dog. The mouse chases the lion. The mouse is blue. The mouse likes the lion. The mouse needs the dog. If someone likes the lion and they chase the mouse then they are blue. If someone is rough then they need the mouse. If the mouse chases the lion and the mouse is young then the lion needs the dog. If someone needs the mouse then they are red. If someone chases the mouse then they are red. If someone is red then they need the lion. If someone is round then they are rough. If someone likes the lion then they need the dog.
The dog is red.
@0: The dog chases the mouse.[(triple1)] The dog is rough.[(triple2)] The dog needs the lion.[(triple3 OR ((((triple1) -> rule5)) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4)) -> rule6))] The dog needs the mouse.[(triple4 OR ((triple2) -> rule2))] The lion is blue.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The mouse chases the dog.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse likes the lion.[(triple11)] The mouse needs the dog.[(triple12 OR ((triple11) -> rule8))] @1: The dog is red.[(((triple1) -> rule5) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] The lion needs the mouse.[(((triple6) -> rule2))] @2: The lion is red.[(((((triple6) -> rule2)) -> rule4))] @3: The lion needs the lion.[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]