この業界他社は性格付ける
fact1: あの色界は押し迫る fact2: もしその郡会議員は警備局であるということはないとすれば「あの色界は実践記録だということはないけどマーキーだ」ということは成り立つということはない fact3: その郡会議員は警備局でなくてしかも生まれ易くない fact4: 何らかの物が商いすれば性格付ける fact5: あの色界が押し迫ればその郡会議員は法人税等調整額である fact6: もし「何らかのものは実践記録でないけれどマーキーだ」ということは成り立たないとすればそれは商いするということはない fact7: 「もしその郡会議員が法人税等調整額であるならばこの業界他社はマーキーだ一方で法人税等調整額でない」ということは事実だ fact8: この業界他社が法人税等調整額であるとすればあの色界は押し迫るけど法人税等調整額でない fact9: 仮に何らかの物はマーキーだが法人税等調整額でないとするとそれは商いする
fact5 & fact1 -> int1: その郡会議員は法人税等調整額だ; int1 & fact7 -> int2: この業界他社はマーキーであるが法人税等調整額でない; fact9 -> int3: もし仮にこの業界他社がマーキーだがしかしそれが法人税等調整額でないとすれば商いする; int2 & int3 -> int4: この業界他社は商いする; fact4 -> int5: もしこの業界他社が商いするなら性格付ける; int4 & int5 -> hypothesis;
この業界他社は性格付けるということはない
fact12 -> int6: もし「あの色界は実践記録でないがしかしマーキーだ」ということは偽であるとすれば商いするということはない; fact11 -> int7: その郡会議員は警備局であるということはない; fact10 & int7 -> int8: 「あの色界は実践記録だということはないけどマーキーである」ということは嘘である; int6 & int8 -> int9: あの色界は商いするということはない;
$facts$ = fact1: あの色界は押し迫る fact2: もしその郡会議員は警備局であるということはないとすれば「あの色界は実践記録だということはないけどマーキーだ」ということは成り立つということはない fact3: その郡会議員は警備局でなくてしかも生まれ易くない fact4: 何らかの物が商いすれば性格付ける fact5: あの色界が押し迫ればその郡会議員は法人税等調整額である fact6: もし「何らかのものは実践記録でないけれどマーキーだ」ということは成り立たないとすればそれは商いするということはない fact7: 「もしその郡会議員が法人税等調整額であるならばこの業界他社はマーキーだ一方で法人税等調整額でない」ということは事実だ fact8: この業界他社が法人税等調整額であるとすればあの色界は押し迫るけど法人税等調整額でない fact9: 仮に何らかの物はマーキーだが法人税等調整額でないとするとそれは商いする ; $hypothesis$ = この業界他社は性格付ける ; $proof$ = 
fact5 & fact1 -> int1: その郡会議員は法人税等調整額だ; int1 & fact7 -> int2: この業界他社はマーキーであるが法人税等調整額でない; fact9 -> int3: もし仮にこの業界他社がマーキーだがしかしそれが法人税等調整額でないとすれば商いする; int2 & int3 -> int4: この業界他社は商いする; fact4 -> int5: もしこの業界他社が商いするなら性格付ける; int4 & int5 -> hypothesis; __PROVED__
事実1: あの色界は押し迫る
事実2: もしその郡会議員は警備局であるということはないとすれば「あの色界は実践記録だということはないけどマーキーだ」ということは成り立つということはない
事実3: その郡会議員は警備局でなくてしかも生まれ易くない
事実4: 何らかの物が商いすれば性格付ける
事実5: あの色界が押し迫ればその郡会議員は法人税等調整額である
事実6: もし「何らかのものは実践記録でないけれどマーキーだ」ということは成り立たないとすればそれは商いするということはない
事実7: 「もしその郡会議員が法人税等調整額であるならばこの業界他社はマーキーだ一方で法人税等調整額でない」ということは事実だ
事実8: この業界他社が法人税等調整額であるとすればあの色界は押し迫るけど法人税等調整額でない
事実9: 仮に何らかの物はマーキーだが法人税等調整額でないとするとそれは商いする

仮説: この業界他社は性格付ける
1. 事実5と事実1から、推論1: "その郡会議員は法人税等調整額だ"が導かれる
2. 推論1と事実7から、推論2: "この業界他社はマーキーであるが法人税等調整額でない"が導かれる
3. 事実9から、推論3: "もし仮にこの業界他社がマーキーだがしかしそれが法人税等調整額でないとすれば商いする"が導かれる
4. 推論2と推論3から、推論4: "この業界他社は商いする"が導かれる
5. 事実4から、推論5: "もしこの業界他社が商いするなら性格付ける"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。