Anne is red. Anne is rough. Charlie is smart. If someone is smart and nice then they are blue. Big, smart people are young. All smart, big people are red. All rough, red people are nice. If Anne is rough and Anne is nice then Anne is big. All nice, rough people are blue. If someone is nice and rough then they are smart. If someone is nice then they are rough.
Anne is not red.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is smart.[(triple3)] @1: Anne is nice.[(((triple2 triple1) -> rule4))] @2: Anne is big.[(((triple2 ((triple2 triple1) -> rule4)) -> rule5))] Anne is blue.[(((((triple2 triple1) -> rule4) triple2) -> rule6) OR ((((((triple2 triple1) -> rule4) triple2) -> rule7) ((triple2 triple1) -> rule4)) -> rule1))] Anne is smart.[(((((triple2 triple1) -> rule4) triple2) -> rule7))] @3: Anne is young.[(((((triple2 ((triple2 triple1) -> rule4)) -> rule5) ((((triple2 triple1) -> rule4) triple2) -> rule7)) -> rule2))]