Anne is big. Anne is furry. Charlie is big. Charlie is green. Charlie is rough. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is rough. Harry is white. Rough, big things are white. Big, nice things are rough. Blue, furry things are white.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple11 triple12) -> rule3))] @1: Charlie is white.[(((triple5 triple3) -> rule1))]