Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is round. Bob is not white. Bob is young. Fiona is blue. Fiona is green. Fiona is red. Fiona is round. Fiona is young. All blue, cold things are round. If something is young then it is not white. All green things are young. If Bob is not red then Bob is not blue. If Bob is red then Bob is cold. White, young things are cold. Red things are cold. All white things are green.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule5) OR ((triple4) -> rule7))] Bob is green.[(triple3)] Bob is not white.[(triple6 OR ((triple7) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple4) -> rule5)) -> rule1) OR ((triple1 ((triple4) -> rule7)) -> rule1))] Bob is young.[(triple7 OR ((triple3) -> rule3))] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11 OR ((triple8 ((triple10) -> rule7)) -> rule1))] Fiona is young.[(triple12 OR ((triple9) -> rule3))] @1: Fiona is cold.[(((triple10) -> rule7))] Fiona is not white.[(((triple12) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]