Anne is smart. Anne is not white. Fiona is cold. Fiona is young. Gary is red. Harry is nice. Harry is red. Harry is smart. Harry is white. Harry is young. If Anne is quiet and Anne is not cold then Anne is not nice. Smart, young people are nice. If someone is cold then they are quiet. If someone is young and not cold then they are quiet. All quiet people are young. All nice people are smart. All young people are red. If Gary is smart and Gary is not young then Gary is not white.
Gary is not young.
@0: Anne is not white.[(triple2)] Anne is smart.[(triple1)] Fiona is cold.[(triple3)] Fiona is young.[(triple4 OR ((((triple3) -> rule3)) -> rule5))] Gary is red.[(triple5)] Harry is nice.[(triple6 OR ((triple8 triple10) -> rule2))] Harry is red.[(triple7 OR ((triple10) -> rule7))] Harry is smart.[(triple8 OR ((triple6) -> rule6))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Fiona is quiet.[(((triple3) -> rule3))] Fiona is red.[(((triple4) -> rule7) OR ((((((triple3) -> rule3)) -> rule5)) -> rule7))]