Charlie is big. Charlie is blue. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is blue. Dave is smart. Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Harry is round. Harry is white. If something is white then it is young.
Charlie is white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((triple4) -> rule1))] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13 OR ((triple12) -> rule1))] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Harry is young.[(((triple15) -> rule1))]