Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is round. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is round. If something is kind then it is rough. All kind things are cold.
Dave is not kind.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule1))] Dave is round.[(triple6)] Fiona is cold.[(triple7 OR ((triple9) -> rule2))] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is rough.[(((triple9) -> rule1))]