Bob is cold. Bob is white. Bob is young. Charlie is cold. Charlie is furry. Fiona is white. Fiona is young. Round people are green. If someone is white and not furry then they are green. Furry people are cold.
Charlie is not green.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule3))] Charlie is furry.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]