Bob is big. Bob is cold. Bob is furry. Bob is young. Charlie is big. Charlie is not blue. Charlie is white. If Bob is blue then Bob is cold. If something is white and not furry then it is cold. Cold things are young.
Charlie is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is young.[(triple4 OR ((triple2) -> rule3))] Charlie is big.[(triple5)] Charlie is not blue.[(triple6)] Charlie is white.[(triple7)]