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