The rabbit is big. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit is young. If someone is rough and young then they are nice. If someone is rough then they are nice. Nice, young people are round.
The rabbit is nice.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple2 OR ((triple3) -> rule2) OR ((triple3 triple5) -> rule1))] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4 OR ((triple2 triple5) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3) OR ((((triple3 triple5) -> rule1) triple5) -> rule3))] The rabbit is young.[(triple5)]