Charlie is big. Erin is red. If Charlie is rough and Charlie is green then Charlie is big. All rough, red things are big. If Charlie is big then Charlie is green. If Erin is big and Erin is rough then Erin is white. If something is green and white then it is red. Young things are rough. All green things are red. If Erin is green and Erin is furry then Erin is red.
Charlie is not big.
@0: Charlie is big.[(triple1)] Erin is red.[(triple2)] @1: Charlie is green.[(((triple1) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule3)) -> rule7))]