Bob is cold. Charlie is big. If someone is round and red then they are nice. Big people are nice. If someone is red and nice then they are cold. If someone is round and red then they are nice. All green, quiet people are round. Nice, big people are round.
Charlie is not round.
@0: Bob is cold.[(triple1)] Charlie is big.[(triple2)] @1: Charlie is nice.[(((triple2) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule2) triple2) -> rule6))]