Erin is quiet. Fiona is not quiet. If someone is quiet then they are kind. Round people are blue. All kind people are blue. Kind people are blue. If Erin is quiet then Erin is not round. If someone is big then they are quiet. If Fiona is smart and Fiona is big then Fiona is not blue. Blue people are nice.
Erin is nice.
@0: Erin is quiet.[(triple1)] Fiona is not quiet.[(triple2)] @1: Erin is kind.[(((triple1) -> rule1))] Erin is not round.[(((triple1) -> rule5))] @2: Erin is blue.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1)) -> rule4))] @3: Erin is nice.[(((((((triple1) -> rule1)) -> rule3)) -> rule8) OR ((((((triple1) -> rule1)) -> rule4)) -> rule8))]