The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is round. If the rabbit is not nice then the rabbit is big. All nice things are blue. Nice things are blue. Round things are blue. Nice, round things are big. If something is big then it is round.
The rabbit is not blue.
@0: The rabbit is big.[(triple1 OR ((triple4 triple5) -> rule5))] The rabbit is blue.[(triple2 OR ((triple4) -> rule2) OR ((triple4) -> rule3) OR ((triple5) -> rule4) OR ((((triple1) -> rule6)) -> rule4))] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5 OR ((triple1) -> rule6))]