Bob is cold. Bob is rough. Bob is young. Charlie is kind. Charlie is nice. Dave is kind. Dave is round. All young, rough people are round. Rough people are kind.
Charlie is not round.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7)] @1: Bob is kind.[(((triple2) -> rule2))] Bob is round.[(((triple3 triple2) -> rule1))]