Bob is not big. Erin is cold. Erin is furry. Erin is not green. Erin is quiet. Erin is not smart. Erin is young. Fiona is smart. Gary is big. Gary is furry. Furry, green things are quiet. If something is smart and not furry then it is not quiet. Quiet, green things are cold. Smart, furry things are big. Big things are green. Smart things are not green.
Bob is not green.
@0: Bob is not big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is not green.[(triple4)] Erin is not smart.[(triple6)] Erin is quiet.[(triple5)] Erin is young.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] @1: Fiona is not green.[(((triple8) -> rule6))] Gary is green.[(((triple9) -> rule5))] @2: Gary is quiet.[(((triple10 ((triple9) -> rule5)) -> rule1))] @3: Gary is cold.[(((((triple10 ((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3))]