The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. All round things are cold. All young, red things are nice.
The rabbit is not young.
@0: The rabbit is cold.[(triple1 OR ((triple4) -> rule1))] The rabbit is nice.[(triple2 OR ((triple5 triple3) -> rule2))] The rabbit is red.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]