The bald eagle is cold. The bald eagle visits the tiger. The rabbit is cold. The tiger is nice. The tiger is rough. The tiger likes the rabbit. The tiger visits the bald eagle. If someone sees the bald eagle then the bald eagle sees the rabbit. If someone likes the rabbit and the rabbit is nice then the rabbit likes the bald eagle. If someone visits the tiger then the tiger likes the bald eagle. If someone likes the rabbit then the rabbit sees the tiger. If someone is green then they like the bald eagle. If someone likes the tiger then they are round.
The tiger does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the tiger.[(triple2)] The rabbit is cold.[(triple3)] The tiger is nice.[(triple4)] The tiger is rough.[(triple5)] The tiger likes the rabbit.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The rabbit sees the tiger.[(((triple6) -> rule4))] The tiger likes the bald eagle.[(((triple2) -> rule3))]