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 does not visit the rabbit.
@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)]