Bob is rough. Charlie is not cold. Erin is round. Round things are kind. Cold things are kind. If something is rough then it is cold. If something is kind then it is rough. Green, round things are rough. Round things are not young. If something is nice and not kind then it is young. If something is cold and not kind then it is nice.
Charlie is nice.
@0: Bob is rough.[(triple1)] Charlie is not cold.[(triple2)] Erin is round.[(triple3)] @1: Bob is cold.[(((triple1) -> rule3))] Erin is kind.[(((triple3) -> rule1))] Erin is not young.[(((triple3) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule2))] Erin is rough.[(((((triple3) -> rule1)) -> rule4))] @3: Erin is cold.[(((((((triple3) -> rule1)) -> rule4)) -> rule3))]