Charlie is not big. Charlie is nice. Charlie is not red. Charlie is not rough. Charlie is white. Fiona is big. Fiona is not rough. Fiona is white. Fiona is young. Harry is not red. Harry is rough. Harry is white. If someone is nice and not big then they are young. Red people are young. If someone is nice and not big then they are not rough.
Harry is big.
@0: Charlie is nice.[(triple2)] Charlie is not big.[(triple1)] Charlie is not red.[(triple3)] Charlie is not rough.[(triple4 OR ((triple2 triple1) -> rule3))] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is not rough.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Harry is not red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Charlie is young.[(((triple2 triple1) -> rule1))]