Anne is big. Anne is round. Anne is young. Charlie is big. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Charlie is young. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. If someone is cold and young then they are round. All young, furry people are big.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4 OR ((triple9 triple6) -> rule2))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8 OR ((triple5 triple9) -> rule1))] Charlie is young.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]