Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is white. Bob is young. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. If Bob is furry then Bob is quiet. If someone is quiet then they are green. Green, furry people are quiet.
Bob is white.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Bob is quiet.[(triple3 OR ((triple1) -> rule1) OR ((triple2 triple1) -> rule3))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((triple10) -> rule2))] Charlie is quiet.[(triple10 OR ((triple9 triple8) -> rule3))] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]