The bald eagle is kind. The bald eagle needs the lion. The bald eagle sees the lion. The lion is kind. The lion likes the mouse. The lion does not need the bald eagle. The lion sees the bald eagle. The lion sees the mouse. The mouse is cold. The mouse is kind. The mouse likes the bald eagle. The mouse likes the lion. The mouse needs the bald eagle. The mouse needs the lion. The mouse sees the bald eagle. The mouse does not see the lion. If something likes the mouse and the mouse likes the lion then it is red. If something likes the mouse and it is red then it is green.
The mouse does not need the lion.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion does not need the bald eagle.[(triple6)] The lion is kind.[(triple4)] The lion likes the mouse.[(triple5)] The lion sees the bald eagle.[(triple7)] The lion sees the mouse.[(triple8)] The mouse does not see the lion.[(triple16)] The mouse is cold.[(triple9)] The mouse is kind.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse likes the lion.[(triple12)] The mouse needs the bald eagle.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the bald eagle.[(triple15)] @1: The lion is red.[(((triple5 triple12) -> rule1))] @2: The lion is green.[(((triple5 ((triple5 triple12) -> rule1)) -> rule2))]