Bob is big. Bob is nice. Bob is quiet. Dave is big. Dave is cold. Dave is not quiet. Dave is smart. Harry is blue. Harry is cold. Harry is white. If something is white and not quiet then it is big. All blue things are big. All big, quiet things are white. If something is cold and not white then it is smart. If something is quiet then it is cold. Smart things are cold.
Harry is quiet.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5 OR ((triple7) -> rule6))] Dave is not quiet.[(triple6)] Dave is smart.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Bob is cold.[(((triple3) -> rule5))] Bob is white.[(((triple1 triple3) -> rule3))] Harry is big.[(((triple8) -> rule2))]