Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. If Dave is round then Dave is kind. If Dave is young then Dave is nice. Kind, nice people are white.
Dave is not red.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple5) -> rule1))] Dave is nice.[(triple3 OR ((triple7) -> rule2))] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple7) -> rule2)) -> rule3) OR ((((triple5) -> rule1) triple3) -> rule3) OR ((((triple5) -> rule1) ((triple7) -> rule2)) -> rule3))] Dave is young.[(triple7)]