Bob is blue. Bob is nice. Bob is quiet. Bob is young. Charlie is nice. Charlie is quiet. Gary is cold. Gary is nice. Gary is quiet. Gary is smart. All blue, cold things are not young. If something is nice and not smart then it is young. Smart, cold things are young. If Charlie is blue then Charlie is young. If Bob is nice then Bob is young. If Gary is nice and Gary is young then Gary is quiet.
Charlie is not smart.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4 OR ((triple2) -> rule5))] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9 OR ((triple8 ((triple10 triple7) -> rule3)) -> rule6))] Gary is smart.[(triple10)] @1: Gary is young.[(((triple10 triple7) -> rule3))]