Bob is blue. Bob is kind. Bob is white. Gary is big. Gary is blue. Gary is kind. Gary is red. Gary is not smart. Gary is white. Gary is young. Harry is not big. Harry is kind. Harry is red. Harry is not smart. Harry is white. Smart, kind things are not big. If something is smart and red then it is blue. All young things are blue. If Bob is not smart then Bob is not kind. Smart things are young. If Bob is red then Bob is white.
Harry is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5 OR ((triple10) -> rule3))] Gary is kind.[(triple6)] Gary is not smart.[(triple8)] Gary is red.[(triple7)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is kind.[(triple12)] Harry is not big.[(triple11)] Harry is not smart.[(triple14)] Harry is red.[(triple13)] Harry is white.[(triple15)]