The dog chases the lion. The dog chases the tiger. The dog is blue. The dog needs the lion. The dog needs the tiger. The lion is nice. The lion is red. The lion is round. The lion is young. The lion needs the dog. The mouse chases the dog. The mouse eats the lion. The mouse is red. The tiger eats the mouse. The tiger is blue. If something needs the mouse and it needs the dog then the dog chases the mouse. If something needs the dog and the dog chases the mouse then it is blue. If something is blue and it eats the tiger then the tiger eats the dog. If something chases the mouse and it is round then it needs the dog. If something chases the dog then the dog chases the lion. If something is nice then it is round. If something is young then it needs the mouse. If something needs the tiger and the tiger chases the lion then it is young.
The tiger chases the lion.
@0: The dog chases the lion.[(triple1 OR ((triple11) -> rule5))] The dog chases the tiger.[(triple2)] The dog is blue.[(triple3)] The dog needs the lion.[(triple4)] The dog needs the tiger.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion is round.[(triple8 OR ((triple6) -> rule6))] The lion is young.[(triple9)] The lion needs the dog.[(triple10)] The mouse chases the dog.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is red.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is blue.[(triple15)] @1: The lion needs the mouse.[(((triple9) -> rule7))] @2: The dog chases the mouse.[(((((triple9) -> rule7) triple10) -> rule1))] @3: The lion is blue.[(((triple10 ((((triple9) -> rule7) triple10) -> rule1)) -> rule2))]