The rabbit is big. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit is young. All rough people are round. If the rabbit is round and the rabbit is rough then the rabbit is green.
The rabbit does not eat the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2 OR ((triple4 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2))] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4 OR ((triple3) -> rule1))] The rabbit is young.[(triple5)]