The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is young. All young, green people are red.
The rabbit is young.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2)] The rabbit is red.[(triple3 OR ((triple5 triple2) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]