Anne is green. Bob is smart. Fiona is green. Gary is red. All quiet people are white. If someone is smart then they are rough. If someone is white then they are red. All smart, red people are rough. If someone is rough then they are quiet. If Gary is quiet then Gary is smart.
Bob is not green.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Fiona is green.[(triple3)] Gary is red.[(triple4)] @1: Bob is rough.[(((triple2) -> rule2))] @2: Bob is quiet.[(((((triple2) -> rule2)) -> rule5))] @3: Bob is white.[(((((((triple2) -> rule2)) -> rule5)) -> rule1))] @4: Bob is red.[(((((((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule3))]