Erin is big. Erin is blue. Erin is quiet. Erin is young. Fiona is big. Fiona is blue. Fiona is nice. Fiona is white. Fiona is young. Harry is blue. Harry is green. Harry is white. All quiet things are green. All blue things are quiet.
Harry is nice.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3 OR ((triple2) -> rule2))] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11 OR ((((triple10) -> rule2)) -> rule1))] Harry is white.[(triple12)] @1: Erin is green.[(((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Fiona is quiet.[(((triple6) -> rule2))] Harry is quiet.[(((triple10) -> rule2))] @2: Fiona is green.[(((((triple6) -> rule2)) -> rule1))]