Bob is young. Dave is nice. Gary is big. Harry is white. If someone is young then they are quiet. Quiet people are not nice. White, quiet people are not young. All quiet people are young. If Gary is smart then Gary is not white. If Harry is blue then Harry is big. If someone is big and not nice then they are blue. If Gary is big and Gary is not nice then Gary is blue.
Dave is nice.
@0: Bob is young.[(triple1)] Dave is nice.[(triple2)] Gary is big.[(triple3)] Harry is white.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule1))] @2: Bob is not nice.[(((((triple1) -> rule1)) -> rule2))]