The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit is young. If someone is round and not big then they are not rough. If someone is big then they are rough.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is rough.[(triple3 OR ((triple1) -> rule2))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]