Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is white. Bob is young. Erin is blue. Erin is kind. Erin is young. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is white and blue then they are round. If Harry is white and Harry is young then Harry is kind. If someone is young then they are rough.
Harry is white.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((triple7) -> rule3))] Bob is round.[(triple5 OR ((triple6 triple1) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is young.[(triple10)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple16) -> rule3))] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Erin is rough.[(((triple10) -> rule3))]