Anne is rough. Bob is big. Dave is quiet. Gary is red. If someone is big and not quiet then they are not rough. If someone is big then they are green. All green people are blue. If someone is quiet and not big then they are not red. All blue people are red. If someone is big and not green then they are red.
Bob is not blue.
@0: Anne is rough.[(triple1)] Bob is big.[(triple2)] Dave is quiet.[(triple3)] Gary is red.[(triple4)] @1: Bob is green.[(((triple2) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is red.[(((((((triple2) -> rule2)) -> rule3)) -> rule5))]