あの陽子は諸学であるけれど表象しない
fact1: あの陽子は烏滸がましい fact2: その根岸湾埋め立て地が半纏でないとするとあの陽子は半纏でない fact3: あの陽子は看過出来ない fact4: もしあの積み立て限度額がし易いならばそれは吐き続ける fact5: もしもその根岸湾埋め立て地が諸学であるとするとあの陽子は表象する fact6: あのグラビア雑誌は立ち眩みであるしおまけに半纏だ fact7: 勇武は諸学である fact8: もしも「その根岸湾埋め立て地は勇武である」ということは事実なら諸学である fact9: その地下足袋は勇武だ一方で免ぜない fact10: もしあるものは半纏でないなら「諸学だが表象しない」ということは成り立たない fact11: あの陽子は烏滸がましいしかつそれは勇武である fact12: その銃声は比較し難くないしホールドしない fact13: 半纏は表象するということはない fact14: 「この意識一般は比較し難くないがしかしホールドする」ということは真実でないとしたら高齢者像でない fact15: とある物が高齢者像でないとすればあの根岸湾埋め立て地は半纏でないかあるいはそれは高齢者像でない fact16: もしその根岸湾埋め立て地が御電話しないとしたら烏滸はましくてそれは勇武だ fact17: なにがしかのものが高齢者像でないとすれば肌寒いしまたそれは半纏だ fact18: あの陽子は高齢者像である fact19: あの陽子は暫定球である fact20: もし仮にあの陽子が表象するならこの意識一般は表象する fact21: あの陽子は半纏であるし高齢者像だ fact22: 仮になにかは比較し難いということはないとすると「それは勇武だし加えてそれは烏滸がましい」ということは誤っている
fact21 -> int1: あの陽子は半纏である; fact13 -> int2: もしあの陽子が半纏だとすると表象しない; int1 & int2 -> int3: あの陽子は表象するということはない; fact11 -> int4: あの陽子は勇武だ; fact7 -> int5: もしあの陽子は勇武であるとするとそれは諸学だ; int4 & int5 -> int6: あの陽子は諸学である; int3 & int6 -> hypothesis;
fact21 -> int1: {A}{a}; fact13 -> int2: {A}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact11 -> int4: {E}{a}; fact7 -> int5: {E}{a} -> {D}{a}; int4 & int5 -> int6: {D}{a}; int3 & int6 -> hypothesis;
「あの陽子は諸学だけど表象しない」ということは誤りだ
fact24 -> int7: あの陽子は半纏でないならば「それは諸学であるししかもそれは表象しない」ということは間違っている; fact27 -> int8: 仮にその銃声は比較し難いということはないとすれば「それは勇武でしかも烏滸がましい」ということは嘘である; fact25 -> int9: その銃声は比較し難くない; int8 & int9 -> int10: 「その銃声は勇武であるしまたそれは烏滸がましい」ということは成り立たない;
$facts$ = fact1: あの陽子は烏滸がましい fact2: その根岸湾埋め立て地が半纏でないとするとあの陽子は半纏でない fact3: あの陽子は看過出来ない fact4: もしあの積み立て限度額がし易いならばそれは吐き続ける fact5: もしもその根岸湾埋め立て地が諸学であるとするとあの陽子は表象する fact6: あのグラビア雑誌は立ち眩みであるしおまけに半纏だ fact7: 勇武は諸学である fact8: もしも「その根岸湾埋め立て地は勇武である」ということは事実なら諸学である fact9: その地下足袋は勇武だ一方で免ぜない fact10: もしあるものは半纏でないなら「諸学だが表象しない」ということは成り立たない fact11: あの陽子は烏滸がましいしかつそれは勇武である fact12: その銃声は比較し難くないしホールドしない fact13: 半纏は表象するということはない fact14: 「この意識一般は比較し難くないがしかしホールドする」ということは真実でないとしたら高齢者像でない fact15: とある物が高齢者像でないとすればあの根岸湾埋め立て地は半纏でないかあるいはそれは高齢者像でない fact16: もしその根岸湾埋め立て地が御電話しないとしたら烏滸はましくてそれは勇武だ fact17: なにがしかのものが高齢者像でないとすれば肌寒いしまたそれは半纏だ fact18: あの陽子は高齢者像である fact19: あの陽子は暫定球である fact20: もし仮にあの陽子が表象するならこの意識一般は表象する fact21: あの陽子は半纏であるし高齢者像だ fact22: 仮になにかは比較し難いということはないとすると「それは勇武だし加えてそれは烏滸がましい」ということは誤っている ; $hypothesis$ = あの陽子は諸学であるけれど表象しない ; $proof$ = 
fact21 -> int1: あの陽子は半纏である; fact13 -> int2: もしあの陽子が半纏だとすると表象しない; int1 & int2 -> int3: あの陽子は表象するということはない; fact11 -> int4: あの陽子は勇武だ; fact7 -> int5: もしあの陽子は勇武であるとするとそれは諸学だ; int4 & int5 -> int6: あの陽子は諸学である; int3 & int6 -> hypothesis; __PROVED__
事実1: あの陽子は烏滸がましい
事実2: その根岸湾埋め立て地が半纏でないとするとあの陽子は半纏でない
事実3: あの陽子は看過出来ない
事実4: もしあの積み立て限度額がし易いならばそれは吐き続ける
事実5: もしもその根岸湾埋め立て地が諸学であるとするとあの陽子は表象する
事実6: あのグラビア雑誌は立ち眩みであるしおまけに半纏だ
事実7: 勇武は諸学である
事実8: もしも「その根岸湾埋め立て地は勇武である」ということは事実なら諸学である
事実9: その地下足袋は勇武だ一方で免ぜない
事実10: もしあるものは半纏でないなら「諸学だが表象しない」ということは成り立たない
事実11: あの陽子は烏滸がましいしかつそれは勇武である
事実12: その銃声は比較し難くないしホールドしない
事実13: 半纏は表象するということはない
事実14: 「この意識一般は比較し難くないがしかしホールドする」ということは真実でないとしたら高齢者像でない
事実15: とある物が高齢者像でないとすればあの根岸湾埋め立て地は半纏でないかあるいはそれは高齢者像でない
事実16: もしその根岸湾埋め立て地が御電話しないとしたら烏滸はましくてそれは勇武だ
事実17: なにがしかのものが高齢者像でないとすれば肌寒いしまたそれは半纏だ
事実18: あの陽子は高齢者像である
事実19: あの陽子は暫定球である
事実20: もし仮にあの陽子が表象するならこの意識一般は表象する
事実21: あの陽子は半纏であるし高齢者像だ
事実22: 仮になにかは比較し難いということはないとすると「それは勇武だし加えてそれは烏滸がましい」ということは誤っている

仮説: あの陽子は諸学であるけれど表象しない
1. 事実21から、推論1: "あの陽子は半纏である"が導かれる
2. 事実13から、推論2: "もしあの陽子が半纏だとすると表象しない"が導かれる
3. 推論1と推論2から、推論3: "あの陽子は表象するということはない"が導かれる
4. 事実11から、推論4: "あの陽子は勇武だ"が導かれる
5. 事実7から、推論5: "もしあの陽子は勇武であるとするとそれは諸学だ"が導かれる
6. 推論4と推論5から、推論6: "あの陽子は諸学である"が導かれる
7. 推論3と推論6から、仮説が導かれる

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