Charlie is white. Charlie is young. Fiona is furry. Fiona is nice. Fiona is white. Gary is kind. Gary is rough. Gary is smart. Gary is young. Harry is nice. Harry is rough. Harry is white. All nice things are white. If something is nice and not white then it is rough.
Charlie is not rough.
@0: Charlie is white.[(triple1)] Charlie is young.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is white.[(triple5 OR ((triple4) -> rule1))] Gary is kind.[(triple6)] Gary is rough.[(triple7)] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule1))]