Bob is nice. Bob is red. Bob is rough. All nice things are rough. If something is nice then it is cold. All big, red things are rough. If Bob is red then Bob is rough. All kind, nice things are cold. Nice, cold things are kind.
Bob is smart.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple1) -> rule1) OR ((triple2) -> rule4))] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is kind.[(((triple1 ((triple1) -> rule2)) -> rule6))]