Fiona is not nice. Gary is big. Harry is not cold. All round things are not smart. If something is cold then it is smart. If Fiona is nice and Fiona is round then Fiona is cold. If Gary is smart then Gary is not nice. Big things are cold. If something is big and not cold then it is not kind. All blue things are not kind. Round things are kind.
Gary is round.
@0: Fiona is not nice.[(triple1)] Gary is big.[(triple2)] Harry is not cold.[(triple3)] @1: Gary is cold.[(((triple2) -> rule5))] @2: Gary is smart.[(((((triple2) -> rule5)) -> rule2))] @3: Gary is not nice.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))]