Anne is big. Anne is not cold. Anne is not furry. Anne is nice. Anne is smart. Fiona is big. Fiona is green. Cold things are nice. All rough things are nice. Furry things are nice. Furry, nice things are not rough. If something is big and not green then it is not rough. If something is nice and not smart then it is not rough. Cold things are furry. All green things are furry.
Fiona is not smart.
@0: Anne is big.[(triple1)] Anne is nice.[(triple4)] Anne is not cold.[(triple2)] Anne is not furry.[(triple3)] Anne is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] @1: Fiona is furry.[(((triple7) -> rule8))] @2: Fiona is nice.[(((((triple7) -> rule8)) -> rule3))] @3: Fiona is not rough.[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule4))]