Bob is blue. Bob is cold. Charlie is round. Dave is blue. Dave is green. Harry is cold. Harry is not round. Cold things are not round. Round things are red. Cold things are red. All round, young things are red. All young things are red. Red things are young. If Bob is young then Bob is green. If something is green and not red then it is white.
Harry is not white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Charlie is round.[(triple3)] Dave is blue.[(triple4)] Dave is green.[(triple5)] Harry is cold.[(triple6)] Harry is not round.[(triple7 OR ((triple6) -> rule1))] @1: Bob is not round.[(((triple2) -> rule1))] Bob is red.[(((triple2) -> rule3))] Charlie is red.[(((triple3) -> rule2))] Harry is red.[(((triple6) -> rule3))] @2: Bob is young.[(((((triple2) -> rule3)) -> rule6))] Charlie is young.[(((((triple3) -> rule2)) -> rule6))] Harry is young.[(((((triple6) -> rule3)) -> rule6))] @3: Bob is green.[(((((((triple2) -> rule3)) -> rule6)) -> rule7))]