Erin is big. Erin is round. Erin is smart. Erin is young. Harry is not big. Harry is green. Harry is kind. Harry is quiet. Harry is not smart. Harry is young. If Harry is round and Harry is not big then Harry is quiet. If Harry is round then Harry is green. If someone is round and big then they are quiet.
Erin is round.
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is not big.[(triple5)] Harry is not smart.[(triple9)] Harry is quiet.[(triple8)] Harry is young.[(triple10)] @1: Erin is quiet.[(((triple2 triple1) -> rule3))]