Anne is blue. Charlie is green. Erin is rough. Fiona is smart. If Fiona is not green then Fiona is not furry. Green people are rough. If Fiona is blue then Fiona is cold. If someone is quiet then they are furry. All blue people are furry. If Erin is smart then Erin is cold. All rough, green people are blue. If Anne is blue and Anne is not rough then Anne is furry.
Charlie is not rough.
@0: Anne is blue.[(triple1)] Charlie is green.[(triple2)] Erin is rough.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is furry.[(((triple1) -> rule5))] Charlie is rough.[(((triple2) -> rule2))] @2: Charlie is blue.[(((((triple2) -> rule2) triple2) -> rule7))] @3: Charlie is furry.[(((((((triple2) -> rule2) triple2) -> rule7)) -> rule5))]