The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. If the rabbit is young then the rabbit is big. All rough, big things are green. All green, big things are young. If something is rough then it is nice. If the rabbit is rough then the rabbit is nice. If something is rough then it is young.
The rabbit is young.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] The rabbit is green.[(triple2 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple5) -> rule1)) -> rule2) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule2))] The rabbit is nice.[(triple3 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5 OR ((triple4) -> rule6) OR ((triple2 triple1) -> rule3) OR ((((triple4 triple1) -> rule2) triple1) -> rule3))]