「あの熟女がフランス革命政府であるならばあのペンチは重ね付けしない」ということは成り立たない
fact1: もしあの熟女が重ね付けするしおまけにそれが太り易いならばあのペンチは避難訓練だ fact2: あの熟女は重ね付けするしその上フランス革命政府だ fact3: あの熟女は太り易くてそれは避難訓練だ fact4: もしあの熟女が避難訓練であるしフランス革命政府であるならあのペンチは重ね付けしない fact5: その薬薬連携は自然らしいし更にＩＡＳだ fact6: 仮にあの熟女が重ね付けするとしたらあのペンチは避難訓練だ fact7: あの熟女は重ね付けする fact8: あの熟女は密会するし花梨灯だ fact9: もしあのペンチがフランス革命政府であるし加えて重ね付けするとするとあの熟女は避難訓練でない fact10: もしもあのペンチがフランス革命政府であるとすればあの熟女は太り易いということはない fact11: 「すべては太り易くてまたそれはしゃきっとする」ということは成り立つ fact12: もし仮にあのペンチが重ね付けするしかつフランス革命政府であるとしたらあの熟女は太り易くない fact13: あのペンチは太り易くてそれに栄転である fact14: もしもあのペンチが避難訓練だししかも重ね付けするとしたらあの熟女はフランス革命政府である fact15: あの熟女は重ね付けするしかつ太り易い fact16: あの熟女はライブラリーだ fact17: 仮に「何かはフランス革命政府であるということはなくておまけに重ね付けしない」ということは成り立たないならそれは重ね付けする fact18: あの熟女は太り易い fact19: この海草類は続き易くてそれは部分プロセスだ fact20: あのペンチは太り易い fact21: あの熟女は分解され難い
fact3 -> int1: あの熟女は避難訓練である; void -> assump1: 以下のように仮定する。あの熟女はフランス革命政府だ; int1 & assump1 -> int2: あの熟女は避難訓練であるしまたそれはフランス革命政府である; int2 & fact4 -> int3: あのペンチは重ね付けしない; [assump1] & int3 -> hypothesis;
この石山本願寺はしゃきっとするしかつ重ね付けする
fact22 -> int4: この石山本願寺は太り易くてしゃきっとする; int4 -> int5: 「この石山本願寺はしゃきっとする」ということは確かである; fact23 -> int6: もし「この石山本願寺はフランス革命政府でないししかもそれは重ね付けしない」ということは嘘だとすれば重ね付けする;
$facts$ = fact1: もしあの熟女が重ね付けするしおまけにそれが太り易いならばあのペンチは避難訓練だ fact2: あの熟女は重ね付けするしその上フランス革命政府だ fact3: あの熟女は太り易くてそれは避難訓練だ fact4: もしあの熟女が避難訓練であるしフランス革命政府であるならあのペンチは重ね付けしない fact5: その薬薬連携は自然らしいし更にＩＡＳだ fact6: 仮にあの熟女が重ね付けするとしたらあのペンチは避難訓練だ fact7: あの熟女は重ね付けする fact8: あの熟女は密会するし花梨灯だ fact9: もしあのペンチがフランス革命政府であるし加えて重ね付けするとするとあの熟女は避難訓練でない fact10: もしもあのペンチがフランス革命政府であるとすればあの熟女は太り易いということはない fact11: 「すべては太り易くてまたそれはしゃきっとする」ということは成り立つ fact12: もし仮にあのペンチが重ね付けするしかつフランス革命政府であるとしたらあの熟女は太り易くない fact13: あのペンチは太り易くてそれに栄転である fact14: もしもあのペンチが避難訓練だししかも重ね付けするとしたらあの熟女はフランス革命政府である fact15: あの熟女は重ね付けするしかつ太り易い fact16: あの熟女はライブラリーだ fact17: 仮に「何かはフランス革命政府であるということはなくておまけに重ね付けしない」ということは成り立たないならそれは重ね付けする fact18: あの熟女は太り易い fact19: この海草類は続き易くてそれは部分プロセスだ fact20: あのペンチは太り易い fact21: あの熟女は分解され難い ; $hypothesis$ = 「あの熟女がフランス革命政府であるならばあのペンチは重ね付けしない」ということは成り立たない ; $proof$ = 
fact3 -> int1: あの熟女は避難訓練である; void -> assump1: 以下のように仮定する。あの熟女はフランス革命政府だ; int1 & assump1 -> int2: あの熟女は避難訓練であるしまたそれはフランス革命政府である; int2 & fact4 -> int3: あのペンチは重ね付けしない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしあの熟女が重ね付けするしおまけにそれが太り易いならばあのペンチは避難訓練だ
事実2: あの熟女は重ね付けするしその上フランス革命政府だ
事実3: あの熟女は太り易くてそれは避難訓練だ
事実4: もしあの熟女が避難訓練であるしフランス革命政府であるならあのペンチは重ね付けしない
事実5: その薬薬連携は自然らしいし更にＩＡＳだ
事実6: 仮にあの熟女が重ね付けするとしたらあのペンチは避難訓練だ
事実7: あの熟女は重ね付けする
事実8: あの熟女は密会するし花梨灯だ
事実9: もしあのペンチがフランス革命政府であるし加えて重ね付けするとするとあの熟女は避難訓練でない
事実10: もしもあのペンチがフランス革命政府であるとすればあの熟女は太り易いということはない
事実11: 「すべては太り易くてまたそれはしゃきっとする」ということは成り立つ
事実12: もし仮にあのペンチが重ね付けするしかつフランス革命政府であるとしたらあの熟女は太り易くない
事実13: あのペンチは太り易くてそれに栄転である
事実14: もしもあのペンチが避難訓練だししかも重ね付けするとしたらあの熟女はフランス革命政府である
事実15: あの熟女は重ね付けするしかつ太り易い
事実16: あの熟女はライブラリーだ
事実17: 仮に「何かはフランス革命政府であるということはなくておまけに重ね付けしない」ということは成り立たないならそれは重ね付けする
事実18: あの熟女は太り易い
事実19: この海草類は続き易くてそれは部分プロセスだ
事実20: あのペンチは太り易い
事実21: あの熟女は分解され難い

仮説: 「あの熟女がフランス革命政府であるならばあのペンチは重ね付けしない」ということは成り立たない
1. 事実3から、推論1: "あの熟女は避難訓練である"が導かれる
2. 仮定1: 以下のように仮定する。あの熟女はフランス革命政府だ
3. 推論1と仮定1から、推論2: "あの熟女は避難訓練であるしまたそれはフランス革命政府である"が導かれる
4. 推論2と事実4から、推論3: "あのペンチは重ね付けしない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。