Charlie is green. Charlie is rough. Fiona is smart. All smart things are furry. Round things are smart. Round, green things are smart. Rough things are smart. If Charlie is green and Charlie is blue then Charlie is round. If Charlie is round then Charlie is rough. Furry things are rough. All green, round things are furry.
Charlie is not green.
@0: Charlie is green.[(triple1)] Charlie is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule4))] Fiona is furry.[(((triple3) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule4)) -> rule1))] Fiona is rough.[(((((triple3) -> rule1)) -> rule7))]