Anne is not big. Anne is not kind. Anne is nice. Anne is quiet. Anne is rough. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Fiona is not big. Fiona is not cold. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. If Fiona is big then Fiona is not rough. If something is big and cold then it is not round. If something is round and kind then it is not cold. Big, cold things are rough. All cold things are big. If Dave is not round then Dave is quiet.
Dave is not rough.
@0: Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not kind.[(triple2)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9 OR ((((((triple6) -> rule5) triple6) -> rule2)) -> rule6))] Fiona is nice.[(triple12)] Fiona is not big.[(triple10)] Fiona is not cold.[(triple11)] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] @1: Dave is big.[(((triple6) -> rule5))] @2: Dave is not round.[(((((triple6) -> rule5) triple6) -> rule2))] Dave is rough.[(((((triple6) -> rule5) triple6) -> rule4))]