Bob is not blue. Bob is not nice. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is white. Gary is not blue. Gary is nice. Gary is quiet. Gary is not rough. Gary is round. Gary is smart. Gary is not white. If Bob is rough then Bob is quiet. All blue, smart people are not rough. If Bob is quiet and Bob is rough then Bob is white. If Gary is blue and Gary is rough then Gary is not smart. If Gary is smart and Gary is white then Gary is quiet. If someone is rough and not blue then they are round. If Gary is not smart then Gary is not nice. If Gary is nice then Gary is round.
Bob is smart.
@0: Bob is not blue.[(triple1)] Bob is not nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple4) -> rule1))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4 triple1) -> rule6))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple3 triple4) -> rule3) OR ((((triple4) -> rule1) triple4) -> rule3))] Gary is nice.[(triple9)] Gary is not blue.[(triple8)] Gary is not rough.[(triple11)] Gary is not white.[(triple14)] Gary is quiet.[(triple10)] Gary is round.[(triple12 OR ((triple9) -> rule8))] Gary is smart.[(triple13)]