Bob is blue. Fiona is cold. Gary is white. Harry is white. All blue people are green. Cold people are kind. If someone is cold and green then they are white. Green, blue people are white. All green people are round. All blue, kind people are cold.
Fiona is not white.
@0: Bob is blue.[(triple1)] Fiona is cold.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)] @1: Bob is green.[(((triple1) -> rule1))] Fiona is kind.[(((triple2) -> rule2))] @2: Bob is round.[(((((triple1) -> rule1)) -> rule5))] Bob is white.[(((((triple1) -> rule1) triple1) -> rule4))]