The squirrel is not big. The squirrel is nice. The squirrel is red. The squirrel is not rough. The squirrel is round. All red, big things are nice. All red things are round. If something is round then it is red.
The squirrel is rough.
@0: The squirrel is nice.[(triple2)] The squirrel is not big.[(triple1)] The squirrel is not rough.[(triple4)] The squirrel is red.[(triple3 OR ((triple5) -> rule3))] The squirrel is round.[(triple5 OR ((triple3) -> rule2))]