Anne is kind. Anne is smart. Dave is not kind. Dave is nice. Dave is round. Dave is smart. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is rough. If something is rough and not blue then it is not smart. If something is rough and not nice then it is not smart. All nice things are round.
Gary is nice.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Dave is nice.[(triple4)] Dave is not kind.[(triple3)] Dave is round.[(triple5 OR ((triple4) -> rule3))] Dave is smart.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Gary is rough.[(triple10)]