Charlie is green. If someone is quiet then they are green. Green people are big. Big, green people are quiet. If Charlie is quiet then Charlie is cold. If Charlie is big and Charlie is green then Charlie is red. All big people are green.
Charlie is cold.
@0: Charlie is green.[(triple1)] @1: Charlie is big.[(((triple1) -> rule2))] @2: Charlie is quiet.[(((((triple1) -> rule2) triple1) -> rule3))] Charlie is red.[(((((triple1) -> rule2) triple1) -> rule5))] @3: Charlie is cold.[(((((((triple1) -> rule2) triple1) -> rule3)) -> rule4))]