Bob is nice. Bob is not quiet. Bob is not red. Bob is smart. Bob is not young. Fiona is not blue. Fiona is not red. Fiona is young. Gary is young. Harry is not blue. Harry is not nice. Harry is quiet. Harry is smart. Harry is white. Harry is young. All blue things are not white. If Bob is smart and Bob is quiet then Bob is young. If Bob is not blue then Bob is young. If something is smart and nice then it is not young. White things are quiet. If something is white and not smart then it is not quiet. If something is white and not young then it is red. If something is quiet and not blue then it is not red.
Gary is not young.
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Bob is not red.[(triple3)] Bob is not young.[(triple5 OR ((triple4 triple1) -> rule4))] Bob is smart.[(triple4)] Fiona is not blue.[(triple6)] Fiona is not red.[(triple7)] Fiona is young.[(triple8)] Gary is young.[(triple9)] Harry is not blue.[(triple10)] Harry is not nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple14) -> rule5))] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is not red.[(((triple12 triple10) -> rule8) OR ((((triple14) -> rule5) triple10) -> rule8))]