Erin is kind. Erin is quiet. Erin is smart. Harry is big. Harry is blue. Harry is kind. Harry is round. All rough people are blue. Smart, kind people are rough.
Erin is not smart.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Erin is rough.[(((triple3 triple1) -> rule2))] @2: Erin is blue.[(((((triple3 triple1) -> rule2)) -> rule1))]