Anne is blue. Anne is green. Anne is not nice. Anne is young. Bob is big. Dave is not blue. Dave is not green. If someone is green and young then they are blue. Green people are kind. If someone is nice and blue then they are kind. If someone is kind and not blue then they are not red. If someone is nice and not young then they are big. If someone is blue and not kind then they are big. If someone is nice then they are not big. Kind, blue people are big.
Anne is young.
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule1))] Anne is green.[(triple2)] Anne is not nice.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Dave is not blue.[(triple6)] Dave is not green.[(triple7)] @1: Anne is kind.[(((triple2) -> rule2))] @2: Anne is big.[(((((triple2) -> rule2) triple1) -> rule8) OR ((((triple2) -> rule2) ((triple2 triple4) -> rule1)) -> rule8))]