The bald eagle is rough. The bald eagle is young. The rabbit eats the bald eagle. The rabbit is cold. The rabbit is round. The rabbit visits the tiger. The tiger needs the bald eagle. If someone is cold and round then they visit the bald eagle. If someone needs the bald eagle then they visit the tiger. If the bald eagle is blue then the bald eagle needs the tiger. If someone is rough and they need the tiger then they visit the rabbit. If someone needs the rabbit and they eat the tiger then they need the tiger. If someone visits the tiger then they are blue. If someone is blue then they visit the bald eagle. If someone eats the rabbit and the rabbit is rough then the rabbit eats the bald eagle.
The tiger visits the bald eagle.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The rabbit eats the bald eagle.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The rabbit is blue.[(((triple6) -> rule6))] The rabbit visits the bald eagle.[(((triple4 triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule7))] The tiger visits the tiger.[(((triple7) -> rule2))] @2: The tiger is blue.[(((((triple7) -> rule2)) -> rule6))] @3: The tiger visits the bald eagle.[(((((((triple7) -> rule2)) -> rule6)) -> rule7))]