Charlie is cold. Dave is rough. Gary is kind. Cold people are not rough. If Charlie is cold and Charlie is nice then Charlie is kind. If someone is nice and kind then they are young. If someone is kind then they are young. Red people are young. If someone is round then they are red. Cold people are round. If someone is nice and not kind then they are round.
Gary is round.
@0: Charlie is cold.[(triple1)] Dave is rough.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is not rough.[(((triple1) -> rule1))] Charlie is round.[(((triple1) -> rule7))] Gary is young.[(((triple3) -> rule4))] @2: Charlie is red.[(((((triple1) -> rule7)) -> rule6))] @3: Charlie is young.[(((((((triple1) -> rule7)) -> rule6)) -> rule5))]