The lion chases the mouse. The lion chases the rabbit. The lion is rough. The lion likes the mouse. The lion likes the rabbit. The mouse chases the rabbit. The mouse is nice. The mouse likes the lion. The mouse likes the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit likes the lion. The rabbit likes the mouse. The rabbit needs the mouse. If the mouse needs the lion then the lion likes the mouse. If something is cold and it likes the mouse then it needs the lion. Cold things are red. If something needs the lion and it is red then the lion is cold. If something is cold and big then it likes the lion. If something needs the mouse then the mouse chases the lion.
The lion is cold.
@0: The lion chases the mouse.[(triple1)] The lion chases the rabbit.[(triple2)] The lion is rough.[(triple3)] The lion likes the mouse.[(triple4)] The lion likes the rabbit.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the lion.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is nice.[(triple13)] The rabbit likes the lion.[(triple14 OR ((triple12 triple11) -> rule5))] The rabbit likes the mouse.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The mouse chases the lion.[(((triple16) -> rule6))] The rabbit is red.[(((triple12) -> rule3))] The rabbit needs the lion.[(((triple12 triple15) -> rule2))] @2: The lion is cold.[(((((triple12 triple15) -> rule2) ((triple12) -> rule3)) -> rule4))] @3: The lion is red.[(((((((triple12 triple15) -> rule2) ((triple12) -> rule3)) -> rule4)) -> rule3))] The lion needs the lion.[(((((((triple12 triple15) -> rule2) ((triple12) -> rule3)) -> rule4) triple4) -> rule2))]