Charlie is big. Charlie is rough. Charlie is not young. Erin is rough. Erin is smart. Gary is big. Gary is quiet. If Gary is rough then Gary is not kind. All big things are quiet. All smart things are quiet. Big things are kind. If Erin is kind then Erin is quiet. If something is rough then it is cold. Smart things are rough. Quiet things are big.
Erin is big.
@0: Charlie is big.[(triple1)] Charlie is not young.[(triple3)] Charlie is rough.[(triple2)] Erin is rough.[(triple4 OR ((triple5) -> rule7))] Erin is smart.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule8))] Gary is quiet.[(triple7 OR ((triple6) -> rule2))] @1: Charlie is cold.[(((triple2) -> rule6))] Charlie is kind.[(((triple1) -> rule4))] Charlie is quiet.[(((triple1) -> rule2))] Erin is cold.[(((triple4) -> rule6) OR ((((triple5) -> rule7)) -> rule6))] Erin is quiet.[(((triple5) -> rule3))] Gary is kind.[(((triple6) -> rule4) OR ((((triple7) -> rule8)) -> rule4))] @2: Erin is big.[(((((triple5) -> rule3)) -> rule8))] @3: Erin is kind.[(((((((triple5) -> rule3)) -> rule8)) -> rule4))]