Bob is young. Charlie is kind. Gary is round. If something is kind then it is not big. If something is nice and young then it is quiet. Young things are smart. All quiet, round things are kind. Young, smart things are round. If Bob is not round then Bob is not big.
Charlie is not round.
@0: Bob is young.[(triple1)] Charlie is kind.[(triple2)] Gary is round.[(triple3)] @1: Bob is smart.[(((triple1) -> rule3))] Charlie is not big.[(((triple2) -> rule1))] @2: Bob is round.[(((triple1 ((triple1) -> rule3)) -> rule5))]