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