Bob is furry. Bob is rough. Bob is round. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Kind, furry people are rough. Rough people are furry.
Bob is not kind.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule2))] Bob is rough.[(triple2)] Bob is round.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5 OR ((triple8) -> rule2))] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is rough.[(triple8 OR ((triple7 triple5) -> rule1))] Charlie is round.[(triple9)] Charlie is smart.[(triple10)]