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