The rabbit is big. The rabbit is cold. The rabbit is red. The rabbit is round. The rabbit is young. If something is young and red then it is cold. Red, round things are cold. All round things are red.
The rabbit is not cold.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple3 triple4) -> rule2) OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple4) -> rule3)) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule2))] The rabbit is red.[(triple3 OR ((triple4) -> rule3))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]