The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit is young. Round, blue people are green. All round people are green. If the rabbit is cold then the rabbit is round. If someone is round then they are green. Green people are cold. If someone is cold and green then they are young.
The rabbit is not round.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple3) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple4 triple1) -> rule1)) -> rule5))] The rabbit is green.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule4) OR ((triple4 triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule3) triple1) -> rule1))] The rabbit is round.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] The rabbit is young.[(triple5 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple4) -> rule2)) -> rule6) OR ((triple2 ((triple4) -> rule4)) -> rule6) OR ((triple2 ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple3) -> rule5) triple3) -> rule6) OR ((((triple3) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((triple3) -> rule5) ((triple4 triple1) -> rule1)) -> rule6) OR ((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule6) OR ((triple2 ((((triple2) -> rule3) triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) triple3) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) triple3) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) triple3) -> rule6) OR ((((triple3) -> rule5) ((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((triple3) -> rule5) ((((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple3) -> rule5) ((((triple2) -> rule3) triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((triple4 triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((triple4 triple1) -> rule1)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((triple4 triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule3) triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) ((((triple2) -> rule3) triple1) -> rule1)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule5) ((((triple2) -> rule3) triple1) -> rule1)) -> rule6))]