Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. All nice, red people are white. Nice people are rough. Big people are white.
Harry is nice.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is nice.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5 OR ((triple3) -> rule2))] Harry is white.[(triple6 OR ((triple1) -> rule3) OR ((triple3 triple4) -> rule1))] Harry is young.[(triple7)]