Anne is young. Charlie is rough. Dave is smart. Gary is smart. If someone is white and rough then they are round. If Charlie is round and Charlie is smart then Charlie is young. If someone is young and rough then they are round. All rough people are smart. All rough, quiet people are white. If someone is smart then they are rough. If someone is quiet and smart then they are green. All quiet, rough people are smart.
Charlie is rough.
@0: Anne is young.[(triple1)] Charlie is rough.[(triple2)] Dave is smart.[(triple3)] Gary is smart.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule4))] Dave is rough.[(((triple3) -> rule6))] Gary is rough.[(((triple4) -> rule6))]