Anne is big. Anne is rough. Anne is round. Bob is furry. Bob is kind. Charlie is furry. Charlie is young. All nice, big things are round. All young, nice things are furry. If Anne is furry then Anne is big. All nice, furry things are big. All big things are round. All nice things are rough.
Bob is furry.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((triple1) -> rule5))] Bob is furry.[(triple4)] Bob is kind.[(triple5)] Charlie is furry.[(triple6)] Charlie is young.[(triple7)]