Anne is furry. Anne is quiet. Anne is rough. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Bob is white. Charlie is blue. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. All furry things are smart. All rough, red things are smart.
Charlie is rough.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is quiet.[(triple6)] Bob is red.[(triple7)] Bob is smart.[(triple8 OR ((triple5) -> rule1))] Bob is white.[(triple9)] Charlie is blue.[(triple10)] Charlie is smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15 OR ((triple13) -> rule1))] Fiona is white.[(triple16)] @1: Anne is smart.[(((triple1) -> rule1))]