The lion chases the mouse. The lion is big. The lion sees the mouse. The mouse chases the lion. The mouse is rough. The mouse is round. The mouse sees the lion. If something chases the mouse and it is rough then it is red. If the lion eats the mouse and the mouse chases the lion then the mouse is big. If something eats the lion and the lion is round then the lion is big. If the lion is big and the lion sees the mouse then the mouse eats the lion. If something is big then it chases the mouse. If something sees the mouse and the mouse chases the lion then the lion eats the mouse.
The mouse eats the lion.
@0: The lion chases the mouse.[(triple1 OR ((triple2) -> rule5))] The lion is big.[(triple2)] The lion sees the mouse.[(triple3)] The mouse chases the lion.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse sees the lion.[(triple7)] @1: The lion eats the mouse.[(((triple3 triple4) -> rule6))] The mouse eats the lion.[(((triple2 triple3) -> rule4))] @2: The mouse is big.[(((((triple3 triple4) -> rule6) triple4) -> rule2))] @3: The mouse chases the mouse.[(((((((triple3 triple4) -> rule6) triple4) -> rule2)) -> rule5))] @4: The mouse is red.[(((((((((triple3 triple4) -> rule6) triple4) -> rule2)) -> rule5) triple5) -> rule1))]