Anne is quiet. Charlie is big. Charlie is furry. Charlie is kind. Gary is not furry. Gary is rough. Gary is round. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. If something is big then it is kind. Furry things are kind. If Harry is furry then Harry is rough. If something is big and not young then it is round. Big, rough things are not round. All young things are round. All furry, young things are big. All young, furry things are quiet.
Anne is furry.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Gary is not furry.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((triple8) -> rule2))] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple8) -> rule3))] Harry is round.[(triple12)]