Anne is round. Anne is white. Anne is young. Dave is nice. Dave is rough. Dave is round. Dave is young. Fiona is red. Fiona is round. Fiona is white. All red people are rough. All young people are white. If Dave is nice then Dave is red.
Dave is not rough.
@0: Anne is round.[(triple1)] Anne is white.[(triple2 OR ((triple3) -> rule2))] Anne is young.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5 OR ((((triple4) -> rule3)) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Dave is red.[(((triple4) -> rule3))] Dave is white.[(((triple7) -> rule2))] Fiona is rough.[(((triple8) -> rule1))]