Bob is nice. Charlie is round. Young, red people are blue. Round, red people are not young. All round people are red. If someone is round and rough then they are not cold. If Charlie is not young then Charlie is not cold. If Bob is rough and Bob is not cold then Bob is nice.
Bob is not round.
@0: Bob is nice.[(triple1)] Charlie is round.[(triple2)] @1: Charlie is red.[(((triple2) -> rule3))] @2: Charlie is not young.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Charlie is not cold.[(((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule5))]