Bob is big. Bob is cold. Bob is furry. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is cold. Charlie is furry. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. If something is round then it is cold. If something is round then it is smart. All furry, young things are smart.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule1))] Bob is furry.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule2) OR ((triple3 triple7) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9 OR ((triple11) -> rule1))] Charlie is furry.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12 OR ((triple11) -> rule2) OR ((triple10 triple14) -> rule3))] Charlie is white.[(triple13)] Charlie is young.[(triple14)]