Erin is blue. Erin is quiet. Erin is not red. Erin is not round. Erin is not white. Gary is blue. Gary is not furry. Gary is red. Gary is round. Gary is white. Gary is young. Harry is blue. Harry is furry. Harry is red. Harry is white. If someone is young and not white then they are red. If someone is white then they are not quiet.
Erin is not young.
@0: Erin is blue.[(triple1)] Erin is not red.[(triple3)] Erin is not round.[(triple4)] Erin is not white.[(triple5)] Erin is quiet.[(triple2)] Gary is blue.[(triple6)] Gary is not furry.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Gary is not quiet.[(((triple10) -> rule2))] Harry is not quiet.[(((triple15) -> rule2))]