The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is round. Green, big people are kind. If the rabbit is kind then the rabbit is big. All green, kind people are rough.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule2))] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2 triple1) -> rule1))] The rabbit is rough.[(triple4 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule3))] The rabbit is round.[(triple5)]