Anne is nice. Charlie is quiet. Dave is big. Erin is round. If something is round then it is white. If something is green and quiet then it is rough. If something is white then it is nice. If Dave is green then Dave is big. If Erin is round and Erin is quiet then Erin is rough. If Dave is round then Dave is nice. If Anne is nice then Anne is round. If Dave is big and Dave is quiet then Dave is white.
Dave is green.
@0: Anne is nice.[(triple1)] Charlie is quiet.[(triple2)] Dave is big.[(triple3)] Erin is round.[(triple4)] @1: Anne is round.[(((triple1) -> rule7))] Erin is white.[(((triple4) -> rule1))] @2: Anne is white.[(((((triple1) -> rule7)) -> rule1))] Erin is nice.[(((((triple4) -> rule1)) -> rule3))]