Anne is furry. Anne is not rough. Anne is young. Bob is cold. Bob is rough. Bob is smart. Charlie is big. Charlie is not cold. Charlie is not furry. Charlie is smart. Charlie is young. Erin is cold. Erin is not furry. Erin is not nice. Erin is rough. Erin is young. If something is young and not rough then it is smart. If Bob is rough and Bob is not cold then Bob is not young. All furry things are nice.
Charlie is not smart.
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is not cold.[(triple8)] Charlie is not furry.[(triple9)] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Erin is cold.[(triple12)] Erin is not furry.[(triple13)] Erin is not nice.[(triple14)] Erin is rough.[(triple15)] Erin is young.[(triple16)] @1: Anne is nice.[(((triple1) -> rule3))] Anne is smart.[(((triple3 triple2) -> rule1))]