Charlie is big. Charlie is not white. Erin is big. Erin is green. Erin is red. Erin is not round. Erin is white. If Erin is green then Erin is not furry. If something is red and not round then it is quiet. All round things are furry.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is not white.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is not round.[(triple6)] Erin is red.[(triple5)] Erin is white.[(triple7)] @1: Erin is not furry.[(((triple4) -> rule1))] Erin is quiet.[(((triple5 triple6) -> rule2))]