Bob is young. Charlie is furry. Fiona is white. Gary is quiet. If Fiona is not young then Fiona is white. If someone is white and not quiet then they are red. If someone is furry and young then they are white. If someone is furry and young then they are rough. If someone is red and not white then they are rough. All quiet people are green. Rough people are not green. If Bob is green and Bob is quiet then Bob is red.
Bob is young.
@0: Bob is young.[(triple1)] Charlie is furry.[(triple2)] Fiona is white.[(triple3)] Gary is quiet.[(triple4)] @1: Gary is green.[(((triple4) -> rule6))]