Bob is nice. Dave is not young. Erin is not red. Gary is quiet. All green, red people are not rough. If someone is smart and not green then they are rough. All green, young people are smart. All nice people are not young. Quiet people are not young. Green people are young. All red people are not quiet. Green people are not quiet.
Bob is nice.
@0: Bob is nice.[(triple1)] Dave is not young.[(triple2)] Erin is not red.[(triple3)] Gary is quiet.[(triple4)] @1: Bob is not young.[(((triple1) -> rule4))] Gary is not young.[(((triple4) -> rule5))]