Charlie is quiet. Charlie is white. Charlie is young. Erin is quiet. Erin is white. Fiona is blue. Fiona is smart. Harry is furry. Harry is nice. Harry is white. All quiet people are young. All nice people are blue. Young people are nice.
Erin is not blue.
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3 OR ((triple1) -> rule1))] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Charlie is nice.[(((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Erin is young.[(((triple4) -> rule1))] Harry is blue.[(((triple9) -> rule2))] @2: Charlie is blue.[(((((triple3) -> rule3)) -> rule2) OR ((((((triple1) -> rule1)) -> rule3)) -> rule2))] Erin is nice.[(((((triple4) -> rule1)) -> rule3))] @3: Erin is blue.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]