Anne is big. Anne is not smart. Dave is smart. Fiona is big. Fiona is kind. Harry is kind. Harry is rough. Rough, smart things are white. All round things are smart. All white things are big. If Anne is rough then Anne is kind. If Dave is round then Dave is kind. All smart things are rough.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is not smart.[(triple2)] Dave is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Harry is kind.[(triple6)] Harry is rough.[(triple7)] @1: Dave is rough.[(((triple3) -> rule6))] @2: Dave is white.[(((((triple3) -> rule6) triple3) -> rule1))] @3: Dave is big.[(((((((triple3) -> rule6) triple3) -> rule1)) -> rule3))]