Anne is green. Erin is green. Fiona is big. Gary is green. All big things are furry. If something is green and not big then it is smart. All furry things are green. If something is smart then it is not cold. If Anne is cold and Anne is not nice then Anne is furry. If Fiona is green then Fiona is kind.
Fiona is not nice.
@0: Anne is green.[(triple1)] Erin is green.[(triple2)] Fiona is big.[(triple3)] Gary is green.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule1))] @2: Fiona is green.[(((((triple3) -> rule1)) -> rule3))] @3: Fiona is kind.[(((((((triple3) -> rule1)) -> rule3)) -> rule6))]