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