Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is white. Erin is not young. Harry is cold. Harry is not furry. Harry is not nice. Harry is rough. Harry is round. Harry is white. Harry is young. If someone is furry and nice then they are round. All young people are round. If someone is young and not rough then they are white. If Harry is furry then Harry is not white. If someone is cold and not rough then they are young. If Erin is round and Erin is white then Erin is not young. If someone is young and not rough then they are furry. If Harry is furry and Harry is white then Harry is nice.
Harry is round.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is not young.[(triple7 OR ((triple5 triple6) -> rule6) OR ((((triple2 triple3) -> rule1) triple6) -> rule6))] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple2 triple3) -> rule1))] Erin is white.[(triple6)] Harry is cold.[(triple8)] Harry is not furry.[(triple9)] Harry is not nice.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple14) -> rule2))] Harry is white.[(triple13)] Harry is young.[(triple14)]