The bald eagle chases the lion. The bald eagle is cold. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle needs the lion. The lion chases the bald eagle. The lion is big. The lion is rough. The lion needs the mouse. The mouse chases the lion. The mouse is cold. The mouse is kind. The mouse likes the bald eagle. The mouse likes the lion. The mouse needs the lion. If someone is round and they chase the lion then the lion needs the bald eagle. If someone needs the lion and they chase the lion then they like the bald eagle. If someone is rough and kind then they like the mouse. If the bald eagle is cold then the bald eagle is big. If someone is big and they like the mouse then the mouse is round. If the bald eagle needs the lion and the lion is round then the lion chases the bald eagle.
The lion is kind.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is rough.[(triple8)] The lion needs the mouse.[(triple9)] The mouse chases the lion.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse likes the bald eagle.[(triple13 OR ((triple15 triple10) -> rule2))] The mouse likes the lion.[(triple14)] The mouse needs the lion.[(triple15)] @1: The bald eagle is big.[(((triple2) -> rule4))] The bald eagle likes the bald eagle.[(((triple5 triple1) -> rule2))] @2: The mouse is round.[(((((triple2) -> rule4) triple4) -> rule5))] @3: The lion needs the bald eagle.[(((((((triple2) -> rule4) triple4) -> rule5) triple10) -> rule1))]