Bob is big. Bob is not blue. Bob is not smart. Charlie is big. Charlie is blue. Charlie is smart. Erin is big. Erin is blue. Erin is not kind. Harry is kind. If Charlie is kind and Charlie is smart then Charlie is white. If something is smart and big then it is nice. If something is big and kind then it is nice. All kind things are blue. All nice things are blue. Young things are smart. Blue, smart things are not young. Nice things are not white.
Charlie is not kind.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is not smart.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5 OR ((((triple6 triple4) -> rule2)) -> rule5))] Charlie is smart.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is not kind.[(triple9)] Harry is kind.[(triple10)] @1: Charlie is nice.[(((triple6 triple4) -> rule2))] Charlie is not young.[(((triple5 triple6) -> rule7) OR ((((((triple6 triple4) -> rule2)) -> rule5) triple6) -> rule7))] Harry is blue.[(((triple10) -> rule4))] @2: Charlie is not white.[(((((triple6 triple4) -> rule2)) -> rule8))]