Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is young. Fiona is blue. Harry is blue. Harry is nice. Harry is white. Furry, big people are blue.
Harry is not big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 triple1) -> rule1))] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Fiona is blue.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)]