Bob is red. Bob is rough. Bob is round. Bob is white. Bob is young. Gary is red. Gary is rough. Gary is round. Gary is white. Harry is young. If Gary is red and Gary is white then Gary is quiet. If Harry is quiet then Harry is young. If someone is round and green then they are young.
Harry is red.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Gary is red.[(triple6)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is young.[(triple10)] @1: Gary is quiet.[(((triple6 triple9) -> rule1))]