The rabbit is big. The rabbit is blue. The rabbit is not cold. The rabbit is round. The rabbit is not young. If something is young then it is not cold. If the rabbit is young then the rabbit is not cold. Round things are big. If something is young then it is not big. If the rabbit is young and the rabbit is blue then the rabbit is round. Round, cold things are blue. If the rabbit is cold and the rabbit is big then the rabbit is not young. Young, cold things are round.
The rabbit is not young.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule3))] The rabbit is blue.[(triple2)] The rabbit is not cold.[(triple3)] The rabbit is not young.[(triple5)] The rabbit is round.[(triple4)]