Bob is blue. Bob is cold. Bob is round. Bob is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. If something is rough then it is green. All cold things are green. Young things are round.
Charlie is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is round.[(triple3 OR ((triple4) -> rule3))] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7 OR ((triple6) -> rule2) OR ((triple9) -> rule1))] Charlie is nice.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] @1: Bob is green.[(((triple2) -> rule2))]