Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Anne is young. If Anne is quiet and Anne is nice then Anne is red. All kind things are blue.
Anne is blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple4 triple3) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)]