Gary is nice. If someone is red then they are round. Quiet, red people are cold. If someone is nice then they are cold. If Gary is young and Gary is quiet then Gary is nice. All round, red people are quiet. All cold people are quiet. If someone is quiet then they are red. If Gary is round then Gary is furry.
Gary is not red.
@0: Gary is nice.[(triple1)] @1: Gary is cold.[(((triple1) -> rule3))] @2: Gary is quiet.[(((((triple1) -> rule3)) -> rule6))] @3: Gary is red.[(((((((triple1) -> rule3)) -> rule6)) -> rule7))] @4: Gary is round.[(((((((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule1))] @5: Gary is furry.[(((((((((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule1)) -> rule8))]