Bob is not furry. Bob is rough. Bob is young. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is smart. Erin is young. Harry is big. Harry is not blue. Harry is furry. Harry is kind. Harry is smart. Harry is young. If something is young and not furry then it is smart. Big, furry things are rough.
Bob is not kind.
@0: Bob is not furry.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not blue.[(triple11)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Bob is smart.[(((triple3 triple1) -> rule1))] Erin is rough.[(((triple4 triple6) -> rule2))] Harry is rough.[(((triple10 triple12) -> rule2))]