The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit is young. Big, cold people are round. If the rabbit is rough then the rabbit is big. If someone is big then they are rough. All cold people are young. If the rabbit is rough then the rabbit is big. All cold people are round. All cold, rough people are young. If someone is young and rough then they are cold.
The rabbit does not need the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule5))] The rabbit is cold.[(triple2 OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple1) -> rule3)) -> rule8))] The rabbit is rough.[(triple3 OR ((triple1) -> rule3))] The rabbit is round.[(triple4 OR ((triple2) -> rule6) OR ((triple1 triple2) -> rule1) OR ((((triple5 triple3) -> rule8)) -> rule6) OR ((triple1 ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule2) triple2) -> rule1) OR ((((triple3) -> rule5) triple2) -> rule1) OR ((((triple3) -> rule2) ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule5) ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple5 ((triple1) -> rule3)) -> rule8)) -> rule6) OR ((triple1 ((triple5 ((triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple3) -> rule2) ((triple5 ((triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple3) -> rule5) ((triple5 ((triple1) -> rule3)) -> rule8)) -> rule1))] The rabbit is young.[(triple5 OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple1) -> rule3)) -> rule7))]