Bob is white. Charlie is nice. Dave is smart. White people are round. If Dave is cold then Dave is white. If Charlie is green and Charlie is white then Charlie is smart. All round people are nice. If Dave is round and Dave is nice then Dave is smart. All nice people are green. Nice people are smart. All round people are white.
Bob is not nice.
@0: Bob is white.[(triple1)] Charlie is nice.[(triple2)] Dave is smart.[(triple3)] @1: Bob is round.[(((triple1) -> rule1))] Charlie is green.[(((triple2) -> rule6))] Charlie is smart.[(((triple2) -> rule7))] @2: Bob is nice.[(((((triple1) -> rule1)) -> rule4))] @3: Bob is green.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))] Bob is smart.[(((((((triple1) -> rule1)) -> rule4)) -> rule7))]