The rabbit is big. The rabbit is cold. The rabbit is red. The rabbit is round. The rabbit is young. All big people are round. All red, round people are big. All cold people are young.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple3 triple4) -> rule2))] The rabbit is cold.[(triple2)] The rabbit is red.[(triple3)] The rabbit is round.[(triple4 OR ((triple1) -> rule1))] The rabbit is young.[(triple5 OR ((triple2) -> rule3))]