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