Erin is blue. Erin is furry. Erin is not green. Erin is quiet. Erin is rough. Erin is round. Erin is young. Harry is not blue. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is young. If Erin is round then Erin is quiet. All quiet things are rough. If something is rough and young then it is furry.
Harry is not green.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple5 triple7) -> rule3) OR ((((triple4) -> rule2) triple7) -> rule3) OR ((((((triple6) -> rule1)) -> rule2) triple7) -> rule3))] Erin is not green.[(triple3)] Erin is quiet.[(triple4 OR ((triple6) -> rule1))] Erin is rough.[(triple5 OR ((triple4) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Erin is round.[(triple6)] Erin is young.[(triple7)] Harry is furry.[(triple9 OR ((triple12 triple14) -> rule3) OR ((((triple11) -> rule2) triple14) -> rule3))] Harry is green.[(triple10)] Harry is not blue.[(triple8)] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule2))] Harry is round.[(triple13)] Harry is young.[(triple14)]