Charlie is cold. Charlie is not rough. Erin is white. Erin is young. Fiona is kind. Fiona is white. Fiona is young. If Charlie is not rough then Charlie is not furry. If Charlie is rough then Charlie is not white. All young, furry things are not cold. If Erin is young then Erin is big. If something is cold and not furry then it is not big. Rough things are big.
Erin is kind.
@0: Charlie is cold.[(triple1)] Charlie is not rough.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is not furry.[(((triple2) -> rule1))] Erin is big.[(((triple4) -> rule4))] @2: Charlie is not big.[(((triple1 ((triple2) -> rule1)) -> rule5))]