Charlie is cold. Charlie is smart. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Erin is smart. If Erin is big then Erin is not rough. If someone is rough then they are cold. If Charlie is cold then Charlie is rough. If Charlie is cold and Charlie is rough then Charlie is big. If someone is quiet then they are round. If someone is quiet and not rough then they are round.
Erin is red.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Erin is cold.[(triple3 OR ((triple5) -> rule2))] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule5))] Erin is smart.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule3))] @2: Charlie is big.[(((triple1 ((triple1) -> rule3)) -> rule4))]