Bob is furry. Dave is big. Gary is kind. Quiet, furry people are big. If Bob is quiet and Bob is red then Bob is kind. If someone is kind and round then they are red. If someone is furry then they are round. Round people are quiet. Kind people are quiet.
Gary is not kind.
@0: Bob is furry.[(triple1)] Dave is big.[(triple2)] Gary is kind.[(triple3)] @1: Bob is round.[(((triple1) -> rule4))] Gary is quiet.[(((triple3) -> rule6))] @2: Bob is quiet.[(((((triple1) -> rule4)) -> rule5))] @3: Bob is big.[(((((((triple1) -> rule4)) -> rule5) triple1) -> rule1))]