Charlie is blue. Charlie is white. Erin is kind. Erin is nice. Erin is white. Fiona is kind. Fiona is white. If someone is quiet and white then they are blue. Blue, kind people are furry. White people are quiet.
Fiona is furry.
@0: Charlie is blue.[(triple1 OR ((((triple2) -> rule3) triple2) -> rule1))] Charlie is white.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule3))] Erin is quiet.[(((triple5) -> rule3))] Fiona is quiet.[(((triple7) -> rule3))] @2: Erin is blue.[(((((triple5) -> rule3) triple5) -> rule1))] Fiona is blue.[(((((triple7) -> rule3) triple7) -> rule1))] @3: Erin is furry.[(((((((triple5) -> rule3) triple5) -> rule1) triple3) -> rule2))] Fiona is furry.[(((((((triple7) -> rule3) triple7) -> rule1) triple6) -> rule2))]