この七十年代半ばは拝すない
fact1: 仮に何かは現われ難いということはないならそれは拝すしさらにそれは自然らしい fact2: 「この激昂は否定し難くない」ということは真実だとしたら「あの児童画はいみじないけれど取り締まれる」ということは誤っている fact3: 「この七十年代半ばは動揺し易いということはない」ということは事実だ fact4: 「この七十年代半ばは自然らしい」ということは成り立つ fact5: もし仮にこの七十年代半ばが自然らしいけどそれが拝すないならあの発声発語器官検査は拝す fact6: あの発声発語器官検査は拝す fact7: もしもあの発声発語器官検査が拝すならばあの七十年代半ばは自然らしい fact8: もし「あの児童画はいみじないが取り締まれる」ということは誤っているとするとあの発声発語器官検査は取り締まらない fact9: あの発声発語器官検査は自然らしくない fact10: 仮にその異義は照れ臭いとすると「それは献策する」ということは正しい fact11: もしもあの発声発語器官検査は取り締まらないならば「「この七十年代半ばは赦免するかあるいは集まり易いか両方ともである」ということは嘘である」ということは確かである fact12: もし「この七十年代半ばは拝す」ということは本当であるとすればあの発声発語器官検査は自然らしい fact13: もしその六箇月分が照れ臭いとすればその異義は照れ臭い fact14: もし仮に「なんらかのものは赦免するかあるいは集まり易いか両方ともである」ということは成り立たないならそれは現われ難くない
void -> assump1: 以下のように仮定する。この七十年代半ばは拝す; fact12 & assump1 -> int1: あの発声発語器官検査は自然らしい; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact12 & assump1 -> int1: {B}{b}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> hypothesis;
あの発声発語器官検査は拝す
$facts$ = fact1: 仮に何かは現われ難いということはないならそれは拝すしさらにそれは自然らしい fact2: 「この激昂は否定し難くない」ということは真実だとしたら「あの児童画はいみじないけれど取り締まれる」ということは誤っている fact3: 「この七十年代半ばは動揺し易いということはない」ということは事実だ fact4: 「この七十年代半ばは自然らしい」ということは成り立つ fact5: もし仮にこの七十年代半ばが自然らしいけどそれが拝すないならあの発声発語器官検査は拝す fact6: あの発声発語器官検査は拝す fact7: もしもあの発声発語器官検査が拝すならばあの七十年代半ばは自然らしい fact8: もし「あの児童画はいみじないが取り締まれる」ということは誤っているとするとあの発声発語器官検査は取り締まらない fact9: あの発声発語器官検査は自然らしくない fact10: 仮にその異義は照れ臭いとすると「それは献策する」ということは正しい fact11: もしもあの発声発語器官検査は取り締まらないならば「「この七十年代半ばは赦免するかあるいは集まり易いか両方ともである」ということは嘘である」ということは確かである fact12: もし「この七十年代半ばは拝す」ということは本当であるとすればあの発声発語器官検査は自然らしい fact13: もしその六箇月分が照れ臭いとすればその異義は照れ臭い fact14: もし仮に「なんらかのものは赦免するかあるいは集まり易いか両方ともである」ということは成り立たないならそれは現われ難くない ; $hypothesis$ = この七十年代半ばは拝すない ; $proof$ = 
void -> assump1: 以下のように仮定する。この七十年代半ばは拝す; fact12 & assump1 -> int1: あの発声発語器官検査は自然らしい; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮に何かは現われ難いということはないならそれは拝すしさらにそれは自然らしい
事実2: 「この激昂は否定し難くない」ということは真実だとしたら「あの児童画はいみじないけれど取り締まれる」ということは誤っている
事実3: 「この七十年代半ばは動揺し易いということはない」ということは事実だ
事実4: 「この七十年代半ばは自然らしい」ということは成り立つ
事実5: もし仮にこの七十年代半ばが自然らしいけどそれが拝すないならあの発声発語器官検査は拝す
事実6: あの発声発語器官検査は拝す
事実7: もしもあの発声発語器官検査が拝すならばあの七十年代半ばは自然らしい
事実8: もし「あの児童画はいみじないが取り締まれる」ということは誤っているとするとあの発声発語器官検査は取り締まらない
事実9: あの発声発語器官検査は自然らしくない
事実10: 仮にその異義は照れ臭いとすると「それは献策する」ということは正しい
事実11: もしもあの発声発語器官検査は取り締まらないならば「「この七十年代半ばは赦免するかあるいは集まり易いか両方ともである」ということは嘘である」ということは確かである
事実12: もし「この七十年代半ばは拝す」ということは本当であるとすればあの発声発語器官検査は自然らしい
事実13: もしその六箇月分が照れ臭いとすればその異義は照れ臭い
事実14: もし仮に「なんらかのものは赦免するかあるいは集まり易いか両方ともである」ということは成り立たないならそれは現われ難くない

仮説: この七十年代半ばは拝すない
1. 仮定1: 以下のように仮定する。この七十年代半ばは拝す
2. 事実12と仮定1から、推論1: "あの発声発語器官検査は自然らしい"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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