The squirrel is not big. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel is not round. All nice things are not big. All blue, round things are big. If something is big and not round then it is blue. If the squirrel is blue then the squirrel is rough. If something is round and not nice then it is rough. Nice, round things are rough.
The squirrel is nice.
@0: The squirrel is blue.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not big.[(triple1 OR ((triple3) -> rule1))] The squirrel is not round.[(triple5)] The squirrel is rough.[(triple4 OR ((triple2) -> rule4))]