The rabbit is big. The rabbit is not blue. The rabbit is red. The rabbit is not rough. The rabbit is round. All red things are round.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is not blue.[(triple2)] The rabbit is not rough.[(triple4)] The rabbit is red.[(triple3)] The rabbit is round.[(triple5 OR ((triple3) -> rule1))]