Anne is quiet. Anne is white. Bob is big. Bob is cold. Bob is quiet. Bob is white. Bob is young. Dave is not nice. Dave is rough. Gary is nice. If something is young then it is big. If something is nice then it is cold. If Gary is white and Gary is cold then Gary is young. All young, cold things are nice. If Dave is cold and Dave is rough then Dave is not white. All young, rough things are quiet.
Gary is not quiet.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3 OR ((triple7) -> rule1))] Bob is cold.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is not nice.[(triple8)] Dave is rough.[(triple9)] Gary is nice.[(triple10)] @1: Bob is nice.[(((triple7 triple4) -> rule4))] Gary is cold.[(((triple10) -> rule2))]