Bob is kind. Bob is round. Gary is quiet. If Bob is round and Bob is nice then Bob is cold. Red people are round. If someone is quiet then they are kind. If Gary is red then Gary is kind. Cold people are furry. If Gary is red then Gary is nice.
Gary is not round.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))]