The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is rough. Big people are rough. If the rabbit is rough then the rabbit is blue. All nice, green people are rough.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule3)) -> rule2))] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1) -> rule1) OR ((triple4 triple3) -> rule3))]