Charlie is smart. Erin is blue. Fiona is not cold. All cold, blue people are rough. Smart people are cold. All rough people are cold. All cold, white people are not nice. Blue people are nice. If someone is quiet and not white then they are not blue. All nice people are smart. If someone is smart and cold then they are quiet.
Charlie is not quiet.
@0: Charlie is smart.[(triple1)] Erin is blue.[(triple2)] Fiona is not cold.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))] Erin is nice.[(((triple2) -> rule5))] @2: Charlie is quiet.[(((triple1 ((triple1) -> rule2)) -> rule8))] Erin is smart.[(((((triple2) -> rule5)) -> rule7))] @3: Erin is cold.[(((((((triple2) -> rule5)) -> rule7)) -> rule2))] @4: Erin is quiet.[(((((((triple2) -> rule5)) -> rule7) ((((((triple2) -> rule5)) -> rule7)) -> rule2)) -> rule8))] Erin is rough.[(((((((((triple2) -> rule5)) -> rule7)) -> rule2) triple2) -> rule1))]