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