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