Gary is not nice. Gary is quiet. Gary is red. If something is young then it is kind. Round things are not nice. If Gary is nice and Gary is kind then Gary is quiet. If something is kind and not red then it is not young. If Gary is quiet then Gary is round. If something is kind then it is round. All red things are smart. All nice, quiet things are not smart.
Gary is young.
@0: Gary is not nice.[(triple1 OR ((((triple2) -> rule5)) -> rule2))] Gary is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is round.[(((triple2) -> rule5))] Gary is smart.[(((triple3) -> rule7))]