Anne is nice. Anne is red. Charlie is big. Charlie is red. Erin is blue. Fiona is blue. Fiona is not nice. Smart, big things are not nice. All quiet, smart things are nice. Nice things are quiet. If Anne is smart then Anne is big. If something is big and not red then it is blue. Rough things are blue. If Charlie is not red then Charlie is big. Quiet things are rough.
Charlie is not big.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Charlie is big.[(triple3)] Charlie is red.[(triple4)] Erin is blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is not nice.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule8))] @3: Anne is blue.[(((((((triple1) -> rule3)) -> rule8)) -> rule6))]