The rabbit is big. The rabbit is red. The rabbit is not rough. The rabbit is round. The rabbit is young. Red people are round. If the rabbit is rough then the rabbit is not young. Round people are red. Rough people are red. If the rabbit is rough and the rabbit is red then the rabbit is not big. If someone is big and not red then they are not young. All round, rough people are big. If someone is young and not rough then they are big.
The rabbit is red.
@0: The rabbit is big.[(triple1 OR ((triple5 triple3) -> rule8))] The rabbit is not rough.[(triple3)] The rabbit is red.[(triple2 OR ((triple4) -> rule3))] The rabbit is round.[(triple4 OR ((triple2) -> rule1))] The rabbit is young.[(triple5)]