Erin is blue. Erin is round. Erin is white. All furry things are red. If something is blue then it is quiet. Round things are blue.
Erin is not blue.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule3))] Erin is round.[(triple2)] Erin is white.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]