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