Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is round. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is round. Harry is big. Harry is furry. Harry is nice. Harry is red. If Harry is red and Harry is furry then Harry is blue. All round things are furry. If something is big then it is kind. If something is blue and round then it is furry. If something is red then it is kind. If Harry is nice and Harry is kind then Harry is blue. All kind, furry things are round. All furry, nice things are blue.
Gary is red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple3 triple5) -> rule8) OR ((((triple7) -> rule2) triple5) -> rule8))] Erin is furry.[(triple3 OR ((triple7) -> rule2) OR ((triple2 triple7) -> rule4))] Erin is kind.[(triple4 OR ((triple1) -> rule3) OR ((triple6) -> rule5))] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple4 triple3) -> rule7) OR ((((triple1) -> rule3) triple3) -> rule7) OR ((((triple6) -> rule5) triple3) -> rule7))] Gary is blue.[(triple8 OR ((triple9 triple11) -> rule8) OR ((((triple12) -> rule2) triple11) -> rule8))] Gary is furry.[(triple9 OR ((triple12) -> rule2) OR ((triple8 triple12) -> rule4))] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12 OR ((triple10 triple9) -> rule7))] Harry is big.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is red.[(triple16)] @1: Harry is blue.[(((triple14 triple15) -> rule8) OR ((triple16 triple14) -> rule1) OR ((triple15 ((triple13) -> rule3)) -> rule6) OR ((triple15 ((triple16) -> rule5)) -> rule6))] Harry is kind.[(((triple13) -> rule3) OR ((triple16) -> rule5))] @2: Harry is round.[(((((triple13) -> rule3) triple14) -> rule7) OR ((((triple16) -> rule5) triple14) -> rule7))]