Anne is green. Bob is smart. Fiona is young. All green things are white. If something is young then it is kind. If something is young then it is red. Smart, red things are kind. All green, red things are nice. If Bob is white then Bob is nice.
Anne is not green.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Fiona is young.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule2))] Fiona is red.[(((triple3) -> rule3))]