Erin is blue. Erin is kind. Erin is young. Harry is blue. Harry is furry. Harry is kind. Harry is round. If someone is furry then they are blue. If Erin is blue then Erin is big. If someone is young and furry then they are blue. If someone is big then they are young. If someone is young and kind then they are big. If Erin is blue and Erin is young then Erin is furry. Furry people are kind. If Harry is young then Harry is kind.
Harry is not big.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2 OR ((((triple1 triple3) -> rule6)) -> rule7) OR ((((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule7))] Erin is young.[(triple3 OR ((((triple1) -> rule2)) -> rule4))] Harry is blue.[(triple4 OR ((triple5) -> rule1))] Harry is furry.[(triple5)] Harry is kind.[(triple6 OR ((triple5) -> rule7))] Harry is round.[(triple7)] @1: Erin is big.[(((triple1) -> rule2) OR ((triple3 triple2) -> rule5) OR ((triple3 ((((triple1 triple3) -> rule6)) -> rule7)) -> rule5))] Erin is furry.[(((triple1 triple3) -> rule6) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6))]