Anne is round. Charlie is nice. Dave is nice. Gary is smart. Furry people are kind. Kind, nice people are smart. All smart people are red. All smart people are furry. Kind people are red. If Charlie is nice and Charlie is smart then Charlie is cold. All smart people are nice. All cold, red people are smart.
Anne is not nice.
@0: Anne is round.[(triple1)] Charlie is nice.[(triple2)] Dave is nice.[(triple3)] Gary is smart.[(triple4)] @1: Gary is furry.[(((triple4) -> rule4))] Gary is nice.[(((triple4) -> rule7))] Gary is red.[(((triple4) -> rule3) OR ((((((triple4) -> rule4)) -> rule1)) -> rule5))] @2: Gary is kind.[(((((triple4) -> rule4)) -> rule1))]