Anne is white. Bob is smart. Erin is nice. Harry is round. All round people are not white. All round people are kind. If someone is smart and not kind then they are rough. If Erin is rough and Erin is big then Erin is smart. If someone is round and not white then they are not big. If someone is white and not smart then they are nice. If someone is kind and not round then they are nice. If Bob is white and Bob is not big then Bob is nice.
Bob is not big.
@0: Anne is white.[(triple1)] Bob is smart.[(triple2)] Erin is nice.[(triple3)] Harry is round.[(triple4)] @1: Harry is kind.[(((triple4) -> rule2))] Harry is not white.[(((triple4) -> rule1))] @2: Harry is not big.[(((triple4 ((triple4) -> rule1)) -> rule5))]