The bald eagle likes the rabbit. The bald eagle needs the rabbit. The bear chases the tiger. The bear is big. The rabbit is not cold. The rabbit likes the bear. The tiger needs the bald eagle. If someone needs the rabbit then they are cold. If someone is cold then they are blue. If someone likes the bald eagle then the bald eagle does not need the bear. If the tiger chases the bald eagle then the tiger likes the rabbit. If someone chases the tiger then they do not chase the bald eagle. If the bear needs the tiger and the bear is not nice then the bear does not need the bald eagle. If someone is blue then they chase the bear. If someone chases the bald eagle then they need the rabbit.
The bear is not blue.
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bear chases the tiger.[(triple3)] The bear is big.[(triple4)] The rabbit is not cold.[(triple5)] The rabbit likes the bear.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The bald eagle is cold.[(((triple2) -> rule1))] The bear does not chase the bald eagle.[(((triple3) -> rule5))] @2: The bald eagle is blue.[(((((triple2) -> rule1)) -> rule2))] @3: The bald eagle chases the bear.[(((((((triple2) -> rule1)) -> rule2)) -> rule7))]