Anne is green. Anne is red. Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is not young. Red, young people are cold. Red, big people are cold. If someone is kind and red then they are not young. If someone is young and not kind then they are nice. If someone is red and green then they are nice. If someone is red and nice then they are big. If someone is nice and young then they are red. All young, kind people are not red.
Anne is not big.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is not green.[(triple4)] Bob is not young.[(triple7)] @1: Anne is nice.[(((triple2 triple1) -> rule5))] @2: Anne is big.[(((triple2 ((triple2 triple1) -> rule5)) -> rule6))] @3: Anne is cold.[(((triple2 ((triple2 ((triple2 triple1) -> rule5)) -> rule6)) -> rule2))]