The squirrel is big. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. If someone is big and round then they are rough. All big, round people are rough.
The squirrel is not round.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 triple5) -> rule2))] The squirrel is round.[(triple5)]