The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is rough. If something is blue and nice then it is rough. If the rabbit is rough and the rabbit is green then the rabbit is blue. Red things are rough.
The rabbit is not blue.
@0: The rabbit is blue.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple4) -> rule3) triple2) -> rule2))] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple1 triple3) -> rule1))]