Bob is round. Charlie is cold. Erin is green. Gary is big. If Charlie is not quiet then Charlie is not round. If something is green and red then it is not big. If something is red and nice then it is not green. Cold things are green. All green, big things are cold. Green, cold things are red.
Erin is not nice.
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2)] Erin is green.[(triple3)] Gary is big.[(triple4)] @1: Charlie is green.[(((triple2) -> rule4))] @2: Charlie is red.[(((((triple2) -> rule4) triple2) -> rule6))] @3: Charlie is not big.[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule6)) -> rule2))]