Bob is big. Bob is furry. Bob is nice. Bob is rough. Bob is round. Bob is smart. Bob is white. All rough, furry things are smart. Round things are nice. If Bob is round then Bob is nice. Nice things are round. If Bob is smart then Bob is nice. If something is rough and white then it is big.
Bob is not rough.
@0: Bob is big.[(triple1 OR ((triple4 triple7) -> rule6))] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule2) OR ((triple5) -> rule3) OR ((triple6) -> rule5) OR ((((triple4 triple2) -> rule1)) -> rule5))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple4 triple2) -> rule1)) -> rule5)) -> rule4))] Bob is smart.[(triple6 OR ((triple4 triple2) -> rule1))] Bob is white.[(triple7)]