Anne is big. Anne is nice. Dave is big. Dave is green. Dave is nice. Dave is smart. Fiona is blue. Fiona is rough. Harry is blue. Harry is kind. Harry is nice. Harry is smart. All rough, smart things are kind. All nice things are smart.
Dave is not green.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule2))] Fiona is blue.[(triple7)] Fiona is rough.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule2))] @1: Anne is smart.[(((triple2) -> rule2))]