The rabbit is big. The rabbit is not kind. The rabbit is nice. The rabbit is round. The rabbit is young. Big things are young. Round, nice things are young. If the rabbit is not young then the rabbit is not kind.
The rabbit is round.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple3)] The rabbit is not kind.[(triple2)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple1) -> rule1) OR ((triple4 triple3) -> rule2))]