The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. Round things are red. If the squirrel is round then the squirrel is nice.
The squirrel is not rough.
@0: The squirrel is blue.[(triple1)] The squirrel is nice.[(triple2 OR ((triple5) -> rule2))] The squirrel is red.[(triple3 OR ((triple5) -> rule1))] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]