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