Anne is smart. Bob is kind. Charlie is smart. Dave is quiet. If someone is blue then they are quiet. All rough people are green. All nice, rough people are green. If someone is nice then they are rough. If someone is smart then they are kind. All smart people are blue. Rough, green people are kind. All rough, quiet people are nice.
Dave is quiet.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Charlie is smart.[(triple3)] Dave is quiet.[(triple4)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is kind.[(((triple1) -> rule5))] Charlie is blue.[(((triple3) -> rule6))] Charlie is kind.[(((triple3) -> rule5))] @2: Anne is quiet.[(((((triple1) -> rule6)) -> rule1))] Charlie is quiet.[(((((triple3) -> rule6)) -> rule1))]