The bald eagle is red. The mouse is cold. The mouse does not like the tiger. The rabbit likes the bald eagle. The rabbit likes the mouse. The rabbit likes the tiger. The rabbit does not need the bald eagle. The rabbit needs the tiger. The rabbit visits the mouse. The rabbit visits the tiger. The tiger does not like the rabbit. The tiger does not need the bald eagle. If someone is cold then they need the mouse. If someone needs the mouse then they are not nice.
The rabbit likes the tiger.
@0: The bald eagle is red.[(triple1)] The mouse does not like the tiger.[(triple3)] The mouse is cold.[(triple2)] The rabbit does not need the bald eagle.[(triple7)] The rabbit likes the bald eagle.[(triple4)] The rabbit likes the mouse.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit needs the tiger.[(triple8)] The rabbit visits the mouse.[(triple9)] The rabbit visits the tiger.[(triple10)] The tiger does not like the rabbit.[(triple11)] The tiger does not need the bald eagle.[(triple12)] @1: The mouse needs the mouse.[(((triple2) -> rule1))] @2: The mouse is not nice.[(((((triple2) -> rule1)) -> rule2))]