Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is smart. Dave is not big. Dave is blue. Dave is nice. Dave is quiet. Dave is young. Fiona is big. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is not smart. Fiona is young. All smart people are nice. Smart people are big.
Dave is not kind.
@0: Anne is big.[(triple1 OR ((triple5) -> rule2))] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is not big.[(triple6)] Dave is quiet.[(triple9)] Dave is young.[(triple10)] Fiona is big.[(triple11)] Fiona is kind.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not smart.[(triple15)] Fiona is quiet.[(triple14)] Fiona is young.[(triple16)] @1: Anne is nice.[(((triple5) -> rule1))]