The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is rough. All big people are rough. If someone is rough then they are green.
The rabbit is not red.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1) -> rule1))]