Dave is kind. Dave is quiet. Dave is rough. Dave is young. Erin is nice. Erin is round. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. All quiet things are white. Nice, white things are quiet. If Erin is round and Erin is kind then Erin is young.
Dave is not quiet.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7 triple10) -> rule2))] Fiona is rough.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule1))] @1: Dave is white.[(((triple2) -> rule1))]