Bob is rough. Charlie is green. Dave is rough. Gary is nice. If something is smart then it is nice. If something is cold then it is nice. Rough, green things are nice. All smart things are quiet. All nice, green things are quiet. All rough things are not smart. If Bob is not kind then Bob is not smart. If something is green then it is rough.
Charlie is cold.
@0: Bob is rough.[(triple1)] Charlie is green.[(triple2)] Dave is rough.[(triple3)] Gary is nice.[(triple4)] @1: Bob is not smart.[(((triple1) -> rule6))] Charlie is rough.[(((triple2) -> rule8))] Dave is not smart.[(((triple3) -> rule6))] @2: Charlie is nice.[(((((triple2) -> rule8) triple2) -> rule3))] Charlie is not smart.[(((((triple2) -> rule8)) -> rule6))] @3: Charlie is quiet.[(((((((triple2) -> rule8) triple2) -> rule3) triple2) -> rule5))]