The bald eagle is rough. The lion does not chase the rabbit. The rabbit chases the lion. The rabbit is big. The squirrel is nice. The squirrel likes the rabbit. The squirrel visits the bald eagle. If something visits the squirrel and the squirrel does not chase the lion then the lion visits the rabbit. If something visits the lion and it is not cold then the lion does not visit the rabbit. If something visits the lion and the lion is big then it likes the squirrel. All big things are red. If the bald eagle chases the rabbit and the rabbit does not like the lion then the bald eagle visits the squirrel. If something is cold and big then it does not like the rabbit.
The squirrel visits the bald eagle.
@0: The bald eagle is rough.[(triple1)] The lion does not chase the rabbit.[(triple2)] The rabbit chases the lion.[(triple3)] The rabbit is big.[(triple4)] The squirrel is nice.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The rabbit is red.[(((triple4) -> rule4))]