The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. All round things are green. If something is round and rough then it is green. All rough things are young.
The rabbit is round.
@0: The rabbit is green.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple3) -> rule2))] The rabbit is red.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple3) -> rule3))]