Erin is blue. Erin is furry. Erin is nice. Erin is not quiet. Erin is red. Erin is rough. Erin is round. Harry is not blue. Harry is furry. Harry is not nice. Harry is not quiet. Harry is red. Harry is rough. Harry is round. Quiet people are not round. Red people are furry. If someone is blue then they are red. If Harry is quiet and Harry is round then Harry is furry. If Erin is blue then Erin is rough. If someone is quiet and not blue then they are rough.
Harry is not red.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple5) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Erin is nice.[(triple3)] Erin is not quiet.[(triple4)] Erin is red.[(triple5 OR ((triple1) -> rule3))] Erin is rough.[(triple6 OR ((triple1) -> rule5))] Erin is round.[(triple7)] Harry is furry.[(triple9 OR ((triple12) -> rule2))] Harry is not blue.[(triple8)] Harry is not nice.[(triple10)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)]