Erin is blue. Erin is nice. Erin is rough. Erin is white. Erin is young. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is white. Harry is young. Quiet, white things are kind. If Erin is young and Erin is rough then Erin is quiet.
Erin is kind.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7 OR ((triple9 triple11) -> rule1))] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Erin is quiet.[(((triple5 triple3) -> rule2))] @2: Erin is kind.[(((((triple5 triple3) -> rule2) triple4) -> rule1))]