Charlie is big. Charlie is rough. Charlie is young. Fiona is nice. Fiona is white. Gary is nice. Harry is white. Big things are kind. Young things are kind. All white things are young.
Gary is kind.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is white.[(triple5)] Gary is nice.[(triple6)] Harry is white.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule1) OR ((triple3) -> rule2))] Fiona is young.[(((triple5) -> rule3))] Harry is young.[(((triple7) -> rule3))] @2: Fiona is kind.[(((((triple5) -> rule3)) -> rule2))] Harry is kind.[(((((triple7) -> rule3)) -> rule2))]