Dave is cold. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is young. Gary is kind. Gary is quiet. Gary is round. Gary is young. All round, furry people are young. If Dave is young then Dave is quiet. All furry people are young.
Gary is not kind.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6 OR ((triple2) -> rule3) OR ((triple4 triple2) -> rule1))] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Dave is quiet.[(((triple6) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple4 triple2) -> rule1)) -> rule2))]