Dave is nice. Fiona is round. Gary is quiet. If Gary is white and Gary is quiet then Gary is round. If someone is kind and round then they are not quiet. White, nice people are not quiet. If someone is quiet then they are kind. Nice people are kind. All quiet people are not green. All kind people are not red. If someone is kind and nice then they are round.
Fiona is not white.
@0: Dave is nice.[(triple1)] Fiona is round.[(triple2)] Gary is quiet.[(triple3)] @1: Dave is kind.[(((triple1) -> rule5))] Gary is kind.[(((triple3) -> rule4))] Gary is not green.[(((triple3) -> rule6))] @2: Dave is not red.[(((((triple1) -> rule5)) -> rule7))] Dave is round.[(((((triple1) -> rule5) triple1) -> rule8))] Gary is not red.[(((((triple3) -> rule4)) -> rule7))] @3: Dave is not quiet.[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule8)) -> rule2))]