Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is rough. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If someone is quiet and big then they are rough. If Bob is green and Bob is nice then Bob is big. Round, furry people are quiet.
Harry is not rough.
@0: Bob is big.[(triple1 OR ((triple3 triple4) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple12 triple7) -> rule3))] Harry is rough.[(triple11 OR ((triple10 triple6) -> rule1) OR ((((triple12 triple7) -> rule3) triple6) -> rule1))] Harry is round.[(triple12)]