Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is quiet. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is rough. All round, rough things are quiet. All green things are quiet. All green, round things are quiet.
Erin is rough.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule2))] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)]