Bob is nice. Bob is quiet. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is big. Dave is quiet. Dave is smart. Harry is not big. Harry is blue. Harry is quiet. Harry is white. Cold people are not big. White people are blue. If Charlie is white and Charlie is not big then Charlie is not smart. White people are smart. Nice people are smart. All cold people are quiet. All blue, nice people are quiet. If someone is smart and nice then they are white.
Harry is not quiet.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2 OR ((((((((triple1) -> rule5) triple1) -> rule8)) -> rule2) triple1) -> rule7))] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4 OR ((triple3) -> rule6))] Charlie is smart.[(triple5)] Dave is big.[(triple6)] Dave is quiet.[(triple7)] Dave is smart.[(triple8)] Harry is blue.[(triple10 OR ((triple12) -> rule2))] Harry is not big.[(triple9)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Bob is smart.[(((triple1) -> rule5))] Charlie is not big.[(((triple3) -> rule1))] Harry is smart.[(((triple12) -> rule4))] @2: Bob is white.[(((((triple1) -> rule5) triple1) -> rule8))] @3: Bob is blue.[(((((((triple1) -> rule5) triple1) -> rule8)) -> rule2))]