The rabbit is big. The rabbit is blue. The rabbit is young. If someone is blue and young then they are big. If someone is blue then they are big. All cold people are young. If someone is blue and big then they are cold. All big people are cold. If someone is big then they are cold. All cold, blue people are green. If someone is cold and not young then they are green.
The rabbit is young.
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple3) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is young.[(triple3 OR ((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple2 triple1) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3))] @1: The rabbit is cold.[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule1)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule4))] @2: The rabbit is green.[(((((triple1) -> rule5) triple2) -> rule7) OR ((((triple1) -> rule6) triple2) -> rule7) OR ((((triple2 triple1) -> rule4) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule5) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule5) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule6) triple2) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple2) -> rule7) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule7))]