Charlie is red. Erin is nice. Erin is red. All cold, red things are big. If something is round and nice then it is quiet. Quiet, big things are cold. Cold, red things are quiet. If Charlie is red and Charlie is round then Charlie is big. If something is nice then it is round. If something is quiet and nice then it is red. Big, quiet things are nice.
Erin is not quiet.
@0: Charlie is red.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3 OR ((((((triple2) -> rule6) triple2) -> rule2) triple2) -> rule7))] @1: Erin is round.[(((triple2) -> rule6))] @2: Erin is quiet.[(((((triple2) -> rule6) triple2) -> rule2))]