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