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