Anne is red. Anne is rough. Bob is kind. Bob is smart. Charlie is furry. Charlie is smart. Fiona is rough. Nice things are red. If something is furry and nice then it is red. If something is kind and furry then it is smart. Nice things are smart. All furry, nice things are rough. All rough things are furry. If something is nice then it is rough. All kind things are white.
Fiona is not white.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Charlie is furry.[(triple5)] Charlie is smart.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is furry.[(((triple2) -> rule6))] Bob is white.[(((triple3) -> rule8))] Fiona is furry.[(((triple7) -> rule6))]