Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is young. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is young. Furry, nice things are blue. If Fiona is not green then Fiona is not furry. Green, furry things are quiet.
Charlie is round.
@0: Charlie is blue.[(triple1 OR ((triple2 triple4) -> rule1))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple3 triple2) -> rule3))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is not furry.[(triple9)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is young.[(triple14)]