The rabbit is big. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit is round. Round people are rough. All cold people are rough.
The rabbit is not round.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4 OR ((triple2) -> rule2) OR ((triple5) -> rule1))] The rabbit is round.[(triple5)]