Anne is not red. Bob is cold. Erin is kind. Fiona is red. Rough things are quiet. Red things are quiet. All smart things are rough. If something is quiet and not cold then it is not rough. If Fiona is cold then Fiona is rough. If something is quiet then it is smart.
Fiona is not quiet.
@0: Anne is not red.[(triple1)] Bob is cold.[(triple2)] Erin is kind.[(triple3)] Fiona is red.[(triple4)] @1: Fiona is quiet.[(((triple4) -> rule2))] @2: Fiona is smart.[(((((triple4) -> rule2)) -> rule6))] @3: Fiona is rough.[(((((((triple4) -> rule2)) -> rule6)) -> rule3))]