Bob is quiet. Erin is young. Fiona is rough. If someone is smart and rough then they are cold. If someone is green and white then they are cold. All cold, quiet people are smart. If someone is young and quiet then they are not smart. Young people are green. If someone is white and cold then they are not green. If someone is green and not rough then they are quiet. All green people are quiet.
Erin is quiet.
@0: Bob is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is rough.[(triple3)] @1: Erin is green.[(((triple2) -> rule5))] @2: Erin is quiet.[(((((triple2) -> rule5)) -> rule8))] @3: Erin is not smart.[(((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule4))]