Charlie is blue. Erin is blue. Erin is kind. Erin is round. Erin is young. Harry is blue. Harry is furry. Cold things are big. Kind, blue things are young. All kind, furry things are young. All young, cold things are round. If something is young then it is cold. All round things are kind. If Harry is big then Harry is blue. All round, big things are blue.
Erin is young.
@0: Charlie is blue.[(triple1)] Erin is blue.[(triple2 OR ((triple4 ((((triple5) -> rule5)) -> rule1)) -> rule8) OR ((((triple5 ((triple5) -> rule5)) -> rule4) ((((triple5) -> rule5)) -> rule1)) -> rule8))] Erin is kind.[(triple3 OR ((triple4) -> rule6) OR ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule6))] Erin is round.[(triple4 OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple3 triple2) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((((triple3 triple2) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule5)) -> rule4))] Erin is young.[(triple5 OR ((triple3 triple2) -> rule2) OR ((((triple4) -> rule6) triple2) -> rule2))] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Erin is cold.[(((triple5) -> rule5) OR ((((triple3 triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule6) triple2) -> rule2)) -> rule5))] @2: Erin is big.[(((((triple5) -> rule5)) -> rule1) OR ((((((triple3 triple2) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple4) -> rule6) triple2) -> rule2)) -> rule5)) -> rule1))]