Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. All kind, red things are furry. Kind, red things are furry. Rough, round things are red. All nice, quiet things are kind. If Harry is kind and Harry is furry then Harry is quiet. Round, furry things are quiet. If something is kind and nice then it is rough. If something is furry then it is kind.
Harry is round.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2 OR ((triple1) -> rule8) OR ((triple3 triple4) -> rule4))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Harry is furry.[(triple5 OR ((triple6 triple9) -> rule1) OR ((triple6 triple9) -> rule2) OR ((((triple7 triple8) -> rule4) triple9) -> rule1) OR ((((triple7 triple8) -> rule4) triple9) -> rule2))] Harry is kind.[(triple6 OR ((triple5) -> rule8) OR ((triple7 triple8) -> rule4))] Harry is nice.[(triple7)] Harry is quiet.[(triple8 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple6 triple9) -> rule1)) -> rule5) OR ((triple6 ((triple6 triple9) -> rule2)) -> rule5) OR ((((triple5) -> rule8) triple5) -> rule5) OR ((((triple5) -> rule8) ((triple6 triple9) -> rule1)) -> rule5) OR ((((triple5) -> rule8) ((triple6 triple9) -> rule2)) -> rule5))] Harry is red.[(triple9)] Harry is rough.[(triple10 OR ((triple6 triple7) -> rule7) OR ((((triple5) -> rule8) triple7) -> rule7) OR ((((triple7 triple8) -> rule4) triple7) -> rule7))] @1: Erin is rough.[(((triple2 triple3) -> rule7) OR ((((triple1) -> rule8) triple3) -> rule7) OR ((((triple3 triple4) -> rule4) triple3) -> rule7))]