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