Bob is big. Bob is green. Bob is nice. Bob is round. Bob is young. Erin is big. Erin is green. Erin is quiet. Erin is round. Harry is big. Harry is nice. Harry is quiet. Harry is not rough. Harry is round. Harry is young. If someone is rough then they are green. If Harry is not young then Harry is not green. If Harry is big and Harry is young then Harry is not green. If Bob is green and Bob is rough then Bob is round. If someone is green then they are big. If Harry is rough and Harry is not big then Harry is round. If someone is quiet then they are round. If someone is young and not big then they are round.
Harry is rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Erin is big.[(triple6 OR ((triple7) -> rule5))] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule7))] Harry is big.[(triple10)] Harry is nice.[(triple11)] Harry is not rough.[(triple13)] Harry is quiet.[(triple12)] Harry is round.[(triple14 OR ((triple12) -> rule7))] Harry is young.[(triple15)] @1: Harry is not green.[(((triple10 triple15) -> rule3))]