Erin is young. Fiona is nice. Fiona is round. Gary is big. Gary is furry. Gary is nice. Gary is not young. Harry is cold. Harry is furry. Harry is round. All furry, round things are not nice. Cold things are not white.
Gary is big.
@0: Erin is young.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is not young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is round.[(triple10)] @1: Harry is not nice.[(((triple9 triple10) -> rule1))] Harry is not white.[(((triple8) -> rule2))]