Bob is big. Bob is blue. Bob is not white. Dave is smart. Gary is not kind. Harry is not big. Harry is rough. Rough things are round. If something is blue and not smart then it is rough. All round things are kind. If Harry is kind and Harry is not round then Harry is not big. If something is white and not rough then it is not big. If something is kind and not smart then it is big.
Gary is not rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not white.[(triple3)] Dave is smart.[(triple4)] Gary is not kind.[(triple5)] Harry is not big.[(triple6)] Harry is rough.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))] @2: Harry is kind.[(((((triple7) -> rule1)) -> rule3))]