The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is rough. The rabbit is round. Rough people are big. If someone is green and rough then they are big. If someone is green and not round then they are rough. If the rabbit is not green then the rabbit is big. If someone is green and not big then they are blue. Green, rough people are blue. All rough people are blue. All green people are blue.
The rabbit is blue.
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule1))] The rabbit is blue.[(triple2 OR ((triple4) -> rule7))] The rabbit is not green.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)]