The bald eagle is blue. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle likes the rabbit. The bear is big. The bear is red. The bear needs the bald eagle. The bear visits the rabbit. The lion needs the bald eagle. The lion needs the rabbit. The lion visits the bear. The rabbit is blue. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit visits the bald eagle. If someone needs the bear then they need the lion. If someone needs the bear and the bear is cold then the bear likes the rabbit. If the rabbit needs the bear then the rabbit likes the bear. If someone likes the bear then they are cold. Cold, blue people are round. If someone is cold and blue then they need the bear. If someone visits the bear then they need the lion. If someone visits the lion then they like the bald eagle.
The bear is round.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is red.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear visits the rabbit.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion needs the rabbit.[(triple10)] The lion visits the bear.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle is cold.[(((triple2) -> rule4))] The lion needs the lion.[(((triple11) -> rule7))] @2: The bald eagle is round.[(((((triple2) -> rule4) triple1) -> rule5))] The bald eagle needs the bear.[(((((triple2) -> rule4) triple1) -> rule6))] @3: The bald eagle needs the lion.[(((((((triple2) -> rule4) triple1) -> rule6)) -> rule1))]