The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit is young. If something is blue then it is cold. Cold, young things are rough.
The rabbit is not round.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule1))] The rabbit is rough.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple1) -> rule1) triple5) -> rule2))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]