Anne is quiet. Anne is white. Bob is big. Bob is nice. Bob is quiet. Bob is white. Charlie is blue. Charlie is kind. Charlie is quiet. Harry is nice. Quiet, big people are smart. If someone is smart then they are nice. If Charlie is kind then Charlie is big.
Charlie is not smart.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4 OR ((((triple5 triple3) -> rule1)) -> rule2))] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Charlie is blue.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Harry is nice.[(triple10)] @1: Bob is smart.[(((triple5 triple3) -> rule1))] Charlie is big.[(((triple8) -> rule3))] @2: Charlie is smart.[(((triple9 ((triple8) -> rule3)) -> rule1))] @3: Charlie is nice.[(((((triple9 ((triple8) -> rule3)) -> rule1)) -> rule2))]