Anne is big. Anne is cold. Anne is furry. Anne is not green. Anne is smart. Anne is young. Fiona is big. Fiona is not cold. Fiona is not furry. Fiona is not green. Fiona is smart. Fiona is not young. All green things are not smart. Furry things are smart. Furry things are smart. All cold things are rough. If something is young and not big then it is cold. If Fiona is not big then Fiona is not furry.
Fiona is smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not green.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule3))] Anne is young.[(triple6)] Fiona is big.[(triple7)] Fiona is not cold.[(triple8)] Fiona is not furry.[(triple9)] Fiona is not green.[(triple10)] Fiona is not young.[(triple12)] Fiona is smart.[(triple11)] @1: Anne is rough.[(((triple2) -> rule4))]