Anne is big. Anne is cold. Anne is round. Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is white. Charlie is big. Charlie is cold. Charlie is not furry. Charlie is not kind. Charlie is not nice. Charlie is round. Harry is kind. All nice people are kind. Kind, big people are not round.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is round.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7 OR ((triple8) -> rule1))] Bob is nice.[(triple8)] Bob is white.[(triple9)] Charlie is big.[(triple10)] Charlie is cold.[(triple11)] Charlie is not furry.[(triple12)] Charlie is not kind.[(triple13)] Charlie is not nice.[(triple14)] Charlie is round.[(triple15)] Harry is kind.[(triple16)] @1: Bob is not round.[(((triple7 triple4) -> rule2) OR ((((triple8) -> rule1) triple4) -> rule2))]