Anne is blue. Anne is green. Anne is nice. Anne is not quiet. Anne is round. Bob is red. Bob is round. If Anne is not red then Anne is not round. Red things are big. Quiet things are round. Big things are quiet. Red things are blue. If something is nice and not quiet then it is blue. If Bob is green and Bob is blue then Bob is not nice. If Bob is blue and Bob is not quiet then Bob is round.
Anne is not big.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule6))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7 OR ((((((triple6) -> rule2)) -> rule4)) -> rule3))] @1: Bob is big.[(((triple6) -> rule2))] Bob is blue.[(((triple6) -> rule5))] @2: Bob is quiet.[(((((triple6) -> rule2)) -> rule4))]