Anne is green. Anne is white. Bob is nice. Bob is red. Bob is round. Charlie is nice. Charlie is round. All red, round things are cold. All round, cold things are green. If Bob is red and Bob is cold then Bob is green.
Charlie is round.
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Charlie is nice.[(triple6)] Charlie is round.[(triple7)] @1: Bob is cold.[(((triple4 triple5) -> rule1))] @2: Bob is green.[(((triple4 ((triple4 triple5) -> rule1)) -> rule3) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule2))]