Anne is big. Anne is blue. Anne is kind. Anne is young. Dave is not blue. Dave is furry. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is rough. All furry things are rough. All young things are quiet. If something is young then it is big. If Anne is quiet then Anne is kind. If Dave is not rough then Dave is not blue. If Anne is not rough then Anne is not blue.
Dave is not quiet.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3))] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((((triple4) -> rule2)) -> rule4))] Anne is young.[(triple4)] Dave is furry.[(triple6)] Dave is not blue.[(triple5)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is quiet.[(((triple4) -> rule2))] Dave is rough.[(((triple6) -> rule1))]