Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Bob is white. Bob is young. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. If Bob is round then Bob is young.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5) -> rule1))] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is nice.[(triple10)] Charlie is quiet.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]