Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is smart. If someone is rough and kind then they are big. If Anne is blue then Anne is smart. All rough people are round.
Anne is not quiet.
@0: Anne is big.[(triple1 OR ((triple5 triple3) -> rule1))] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple5) -> rule3))] Anne is smart.[(triple7 OR ((triple2) -> rule2))]