The rabbit is big. The rabbit is not blue. The rabbit is nice. The rabbit is round. The rabbit is young. All nice, blue things are round. Blue, big things are round. Big, nice things are round. If the rabbit is nice and the rabbit is big then the rabbit is young. Big things are nice. If the rabbit is round then the rabbit is not blue. If something is round then it is young. If something is nice and not round then it is young.
The rabbit is young.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple3 OR ((triple1) -> rule5))] The rabbit is not blue.[(triple2 OR ((triple4) -> rule6) OR ((((triple1 triple3) -> rule3)) -> rule6) OR ((((triple1 ((triple1) -> rule5)) -> rule3)) -> rule6))] The rabbit is round.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple1) -> rule5)) -> rule3))] The rabbit is young.[(triple5 OR ((triple4) -> rule7) OR ((triple3 triple1) -> rule4) OR ((((triple1 triple3) -> rule3)) -> rule7) OR ((((triple1) -> rule5) triple1) -> rule4) OR ((((triple1 ((triple1) -> rule5)) -> rule3)) -> rule7))]