Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Harry is furry. Harry is kind. Harry is young. If Harry is rough then Harry is not green. If Harry is kind and Harry is young then Harry is nice. If someone is kind and not furry then they are rough. All quiet people are rough. If someone is young and not furry then they are kind. If Harry is nice then Harry is rough. If someone is rough then they are quiet. All rough, furry people are quiet.
Harry is green.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5 OR ((triple6) -> rule7) OR ((triple6 triple1) -> rule8))] Gary is rough.[(triple6 OR ((triple5) -> rule4))] Gary is young.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Harry is nice.[(((triple9 triple10) -> rule2))] @2: Harry is rough.[(((((triple9 triple10) -> rule2)) -> rule6))] @3: Harry is not green.[(((((((triple9 triple10) -> rule2)) -> rule6)) -> rule1))] Harry is quiet.[(((((((triple9 triple10) -> rule2)) -> rule6)) -> rule7) OR ((((((triple9 triple10) -> rule2)) -> rule6) triple8) -> rule8))]