The rabbit is cold. The rabbit is kind. The rabbit is round. If something is cold then it is big. Young things are round. If something is cold and round then it is big. All cold, big things are round. If the rabbit is cold and the rabbit is young then the rabbit is big. If the rabbit is round and the rabbit is big then the rabbit is cold. All kind things are cold. Young things are kind.
The rabbit is kind.
@0: The rabbit is cold.[(triple1 OR ((triple2) -> rule7))] The rabbit is kind.[(triple2)] The rabbit is round.[(triple3 OR ((triple1 ((triple1) -> rule1)) -> rule4) OR ((((triple2) -> rule7) ((triple1) -> rule1)) -> rule4) OR ((triple1 ((((triple2) -> rule7)) -> rule1)) -> rule4) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule4))] @1: The rabbit is big.[(((triple1) -> rule1) OR ((triple1 triple3) -> rule3) OR ((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7) triple3) -> rule3))]