The bear is nice. The cat does not like the lion. The lion does not need the cat. The squirrel does not need the bear. If the bear likes the cat then the cat likes the bear. If the squirrel is round then the squirrel needs the lion. If someone eats the lion then they need the squirrel. If the squirrel is round then the squirrel is nice. If someone is nice then they are round. If the cat does not like the lion then the cat needs the lion. If someone likes the cat and the cat is rough then they are not rough. If someone likes the bear then the bear is rough.
The bear likes the squirrel.
@0: The bear is nice.[(triple1)] The cat does not like the lion.[(triple2)] The lion does not need the cat.[(triple3)] The squirrel does not need the bear.[(triple4)] @1: The bear is round.[(((triple1) -> rule5))] The cat needs the lion.[(((triple2) -> rule6))]