Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is white. Gary is furry. Gary is green. Gary is quiet. Gary is white. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Quiet, nice people are smart. Quiet people are green. If Gary is round and Gary is green then Gary is white. Round, smart people are white. Round, white people are quiet. If someone is quiet then they are nice.
Erin is nice.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule2))] Erin is quiet.[(triple3 OR ((triple4 triple5) -> rule5))] Erin is round.[(triple4)] Erin is white.[(triple5 OR ((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule4))] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule2))] Gary is quiet.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11 OR ((triple13) -> rule2) OR ((((triple14 triple16) -> rule5)) -> rule2) OR ((((triple14 ((triple14 triple15) -> rule4)) -> rule5)) -> rule2))] Harry is nice.[(triple12 OR ((triple13) -> rule6) OR ((((triple14 triple16) -> rule5)) -> rule6) OR ((((triple14 ((triple14 triple15) -> rule4)) -> rule5)) -> rule6))] Harry is quiet.[(triple13 OR ((triple14 triple16) -> rule5) OR ((triple14 ((triple14 triple15) -> rule4)) -> rule5))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple13 triple12) -> rule1) OR ((triple13 ((triple13) -> rule6)) -> rule1) OR ((((triple14 triple16) -> rule5) triple12) -> rule1) OR ((((triple14 triple16) -> rule5) ((triple13) -> rule6)) -> rule1) OR ((triple13 ((((triple14 triple16) -> rule5)) -> rule6)) -> rule1) OR ((((triple14 triple16) -> rule5) ((((triple14 triple16) -> rule5)) -> rule6)) -> rule1))] Harry is white.[(triple16 OR ((triple14 triple15) -> rule4) OR ((triple14 ((triple13 triple12) -> rule1)) -> rule4) OR ((triple14 ((triple13 ((triple13) -> rule6)) -> rule1)) -> rule4))] @1: Erin is nice.[(((triple3) -> rule6) OR ((((triple4 triple5) -> rule5)) -> rule6))] Gary is nice.[(((triple8) -> rule6))] @2: Erin is smart.[(((triple3 ((triple3) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule5) ((triple3) -> rule6)) -> rule1) OR ((triple3 ((((triple4 triple5) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5)) -> rule6)) -> rule1))] Gary is smart.[(((triple8 ((triple8) -> rule6)) -> rule1))]