Dave is big. Dave is smart. Dave is white. Erin is quiet. Erin is smart. Harry is big. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Quiet, furry people are rough. If someone is smart then they are kind.
Harry is smart.
@0: Dave is big.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3)] Erin is quiet.[(triple4)] Erin is smart.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7 OR ((triple10) -> rule2))] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Dave is kind.[(((triple2) -> rule2))] Erin is kind.[(((triple5) -> rule2))]