Anne is big. Anne is green. Anne is young. If Anne is red then Anne is round. All young, rough people are big. All rough, green people are red. If Anne is green and Anne is big then Anne is young. All red, round people are rough. If someone is young and big then they are rough.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3 OR ((triple2 triple1) -> rule4))] @1: Anne is rough.[(((triple3 triple1) -> rule6) OR ((((triple2 triple1) -> rule4) triple1) -> rule6))] @2: Anne is red.[(((((triple3 triple1) -> rule6) triple2) -> rule3) OR ((((((triple2 triple1) -> rule4) triple1) -> rule6) triple2) -> rule3))] @3: Anne is round.[(((((((triple3 triple1) -> rule6) triple2) -> rule3)) -> rule1) OR ((((((((triple2 triple1) -> rule4) triple1) -> rule6) triple2) -> rule3)) -> rule1))]