Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is smart. Dave is big. Dave is kind. Dave is red. Dave is rough. Dave is not smart. Harry is kind. Harry is rough. All big, nice people are red. All nice people are red. If Dave is smart then Dave is rough. If someone is smart and not nice then they are not kind. All big, red people are round. If Harry is big then Harry is red.
Harry is big.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule2))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Dave is big.[(triple6)] Dave is kind.[(triple7)] Dave is not smart.[(triple10)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] @1: Dave is round.[(((triple6 triple8) -> rule5))]