The bear chases the rabbit. The bear is not nice. The bear is round. The bear likes the rabbit. The rabbit is rough. The rabbit is round. The rabbit likes the bear. If something chases the bear then it does not like the rabbit. If the rabbit is not blue then the rabbit is rough. If something is rough then it chases the bear.
The bear is rough.
@0: The bear chases the rabbit.[(triple1)] The bear is not nice.[(triple2)] The bear is round.[(triple3)] The bear likes the rabbit.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the bear.[(triple7)] @1: The rabbit chases the bear.[(((triple5) -> rule3))] @2: The rabbit does not like the rabbit.[(((((triple5) -> rule3)) -> rule1))]