Charlie is big. Charlie is not furry. Charlie is rough. Charlie is white. Erin is big. Erin is blue. Erin is red. Erin is rough. Erin is round. Erin is white. If someone is blue then they are red. If Charlie is rough then Charlie is blue.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is not furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is red.[(triple7 OR ((triple6) -> rule1))] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] @1: Charlie is blue.[(((triple3) -> rule2))] @2: Charlie is red.[(((((triple3) -> rule2)) -> rule1))]