The dog chases the mouse. The dog eats the lion. The dog eats the mouse. The dog visits the mouse. The lion chases the mouse. The lion eats the mouse. The lion is cold. The lion is green. The lion is red. The lion is round. The lion visits the dog. The lion visits the mouse. The mouse eats the dog. The mouse is blue. The mouse visits the dog. If something is green then it chases the lion. If something chases the mouse and it visits the lion then it eats the mouse. If something eats the lion and the lion is red then it chases the lion. If something eats the dog then the dog chases the lion. If something eats the mouse and it chases the mouse then it eats the lion. If something eats the mouse and the mouse is cold then it eats the dog. If something visits the lion and it visits the mouse then it visits the dog. If something eats the lion then it chases the dog.
The lion is red.
@0: The dog chases the mouse.[(triple1)] The dog eats the lion.[(triple2 OR ((triple3 triple1) -> rule5))] The dog eats the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The lion chases the mouse.[(triple5)] The lion eats the mouse.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion visits the dog.[(triple11)] The lion visits the mouse.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is blue.[(triple14)] The mouse visits the dog.[(triple15)] @1: The dog chases the dog.[(((triple2) -> rule8) OR ((((triple3 triple1) -> rule5)) -> rule8))] The dog chases the lion.[(((triple13) -> rule4) OR ((triple2 triple9) -> rule3) OR ((((triple3 triple1) -> rule5) triple9) -> rule3))] The lion chases the lion.[(((triple8) -> rule1) OR ((((triple6 triple5) -> rule5) triple9) -> rule3))] The lion eats the lion.[(((triple6 triple5) -> rule5))] @2: The lion chases the dog.[(((((triple6 triple5) -> rule5)) -> rule8))]