The rabbit is big. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit is young. All round things are big. Rough, big things are round. All rough, big things are nice.
The rabbit is not rough.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule1))] The rabbit is nice.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule1)) -> rule3))] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4 OR ((triple3 triple1) -> rule2))] The rabbit is young.[(triple5)]