Erin is big. Fiona is green. Fiona is smart. Gary is rough. Gary is smart. Harry is rough. Harry is smart. All quiet people are big. All rough, white people are smart. If someone is red and green then they are white. Rough people are big. If someone is green then they are rough. If Fiona is rough then Fiona is white. If Gary is rough then Gary is smart. All quiet, smart people are rough.
Gary is not white.
@0: Erin is big.[(triple1)] Fiona is green.[(triple2)] Fiona is smart.[(triple3 OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule2))] Gary is rough.[(triple4)] Gary is smart.[(triple5 OR ((triple4) -> rule7))] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is rough.[(((triple2) -> rule5))] Gary is big.[(((triple4) -> rule4))] Harry is big.[(((triple6) -> rule4))] @2: Fiona is big.[(((((triple2) -> rule5)) -> rule4))] Fiona is white.[(((((triple2) -> rule5)) -> rule6))]