Erin is not big. Erin is cold. Erin is quiet. Erin is round. Erin is young. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is not quiet. Harry is round. Harry is young. Young, quiet things are nice. If something is cold and not young then it is big. If Erin is young and Erin is quiet then Erin is nice. If something is cold then it is round. If Erin is nice and Erin is big then Erin is furry. If Harry is young then Harry is nice.
Erin is not cold.
@0: Erin is cold.[(triple2)] Erin is not big.[(triple1)] Erin is quiet.[(triple3)] Erin is round.[(triple4 OR ((triple2) -> rule4))] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9 OR ((triple12) -> rule6))] Harry is not quiet.[(triple10)] Harry is round.[(triple11 OR ((triple7) -> rule4))] Harry is young.[(triple12)] @1: Erin is nice.[(((triple5 triple3) -> rule1) OR ((triple5 triple3) -> rule3))]