The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is young. Young, blue things are green. If the rabbit is young then the rabbit is kind. Kind, cold things are green. Green things are young. If something is kind and young then it is blue. If something is green then it is blue. Young things are green. Young things are cold.
The rabbit sees the rabbit.
@0: The rabbit is blue.[(triple1 OR ((triple3) -> rule6) OR ((triple4 triple5) -> rule5) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple4 triple2) -> rule3)) -> rule6) OR ((triple4 ((triple3) -> rule4)) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5) OR ((((triple5) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((triple4 ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((((((triple5) -> rule2) triple2) -> rule3)) -> rule6) OR ((triple4 ((((triple4 triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) triple5) -> rule5) OR ((((((triple5) -> rule2) ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((((triple5) -> rule2) ((((triple4 triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((((triple4 triple2) -> rule3)) -> rule4)) -> rule5))] The rabbit is cold.[(triple2 OR ((triple5) -> rule8) OR ((((triple3) -> rule4)) -> rule8))] The rabbit is green.[(triple3 OR ((triple5) -> rule7) OR ((triple4 triple2) -> rule3) OR ((triple5 triple1) -> rule1) OR ((triple4 ((triple5) -> rule8)) -> rule3) OR ((triple5 ((triple4 triple5) -> rule5)) -> rule1) OR ((((triple5) -> rule2) triple2) -> rule3) OR ((((triple5) -> rule2) ((triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple5) -> rule2) triple5) -> rule5)) -> rule1))] The rabbit is kind.[(triple4 OR ((triple5) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] The rabbit is young.[(triple5 OR ((triple3) -> rule4) OR ((((triple4 triple2) -> rule3)) -> rule4))]