The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is kind. The rabbit is red. Green things are not kind. All green, big things are kind. All green things are blue. All big, kind things are not green. All green things are not big. If something is big and not green then it is red.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple4)] The rabbit is not green.[(triple3 OR ((triple1 triple4) -> rule4))] The rabbit is red.[(triple5 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1 triple4) -> rule4)) -> rule6))]