Anne is cold. Anne is nice. Anne is smart. Anne is white. Bob is not big. Bob is blue. Bob is kind. Bob is nice. Bob is smart. Dave is blue. Dave is cold. Dave is kind. Harry is cold. Harry is kind. Harry is nice. Harry is not smart. If someone is kind then they are nice. If Harry is smart then Harry is white. If someone is kind and not nice then they are big. Big people are smart. If someone is cold and not nice then they are white. Blue, white people are cold. All kind people are cold. If someone is blue and not big then they are cold.
Dave is not big.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is blue.[(triple6)] Bob is kind.[(triple7)] Bob is nice.[(triple8 OR ((triple7) -> rule1))] Bob is not big.[(triple5)] Bob is smart.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11 OR ((triple12) -> rule7))] Dave is kind.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule7))] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple14) -> rule1))] Harry is not smart.[(triple16)] @1: Bob is cold.[(((triple7) -> rule7) OR ((triple6 triple5) -> rule8))] Dave is nice.[(((triple12) -> rule1))]