Anne is big. Dave is kind. Fiona is not green. If someone is white then they are not green. Big people are white. All green people are not white. All nice people are rough. Big, rough people are nice. If someone is white and not nice then they are kind. If someone is big and not green then they are kind. All green people are kind.
Anne is not white.
@0: Anne is big.[(triple1)] Dave is kind.[(triple2)] Fiona is not green.[(triple3)] @1: Anne is white.[(((triple1) -> rule2))] @2: Anne is not green.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule7))]