「もし仮にあの重要度が鳴き叫ぶとしたらあの重要度は焦点距離だということはないしおまけに欹てない」ということは誤りである
fact1: 仮に法人用が鳴き叫ぶなら末っ子でない fact2: あの重要度は法人用であるならそれは兼ねる fact3: 「あの重要度は養育する」ということは正しい fact4: 「あの移徙は養育する」ということは正しい fact5: もし仮にあの重要度が静まり返るとしたら養育しない fact6: もしあの重要度が養育するとするとそれは法人用だ fact7: 仮にあの重要度は末っ子でないなら焦点距離でないしかつ欹てない fact8: もしなんらかの物が謳歌出来るとしたら漏れ易い
fact6 & fact3 -> int1: あの重要度は法人用である; void -> assump1: 以下のように仮定する。あの重要度は鳴き叫ぶ; int1 & assump1 -> int2: あの重要度が法人用だしさらに鳴き叫ぶ; fact1 -> int3: もしあの重要度が法人用であるし鳴き叫ぶとすればそれは末っ子でない; int2 & int3 -> int4: 「あの重要度は末っ子でない」ということは事実と異ならない; int4 & fact7 -> int5: あの重要度は焦点距離でないしかつ欹てない; [assump1] & int5 -> hypothesis;
もし仮にあのＯＨＳＡＳが謳歌出来るとすればそれは漏れ易い
fact9 -> hypothesis;
$facts$ = fact1: 仮に法人用が鳴き叫ぶなら末っ子でない fact2: あの重要度は法人用であるならそれは兼ねる fact3: 「あの重要度は養育する」ということは正しい fact4: 「あの移徙は養育する」ということは正しい fact5: もし仮にあの重要度が静まり返るとしたら養育しない fact6: もしあの重要度が養育するとするとそれは法人用だ fact7: 仮にあの重要度は末っ子でないなら焦点距離でないしかつ欹てない fact8: もしなんらかの物が謳歌出来るとしたら漏れ易い ; $hypothesis$ = 「もし仮にあの重要度が鳴き叫ぶとしたらあの重要度は焦点距離だということはないしおまけに欹てない」ということは誤りである ; $proof$ = 
fact6 & fact3 -> int1: あの重要度は法人用である; void -> assump1: 以下のように仮定する。あの重要度は鳴き叫ぶ; int1 & assump1 -> int2: あの重要度が法人用だしさらに鳴き叫ぶ; fact1 -> int3: もしあの重要度が法人用であるし鳴き叫ぶとすればそれは末っ子でない; int2 & int3 -> int4: 「あの重要度は末っ子でない」ということは事実と異ならない; int4 & fact7 -> int5: あの重要度は焦点距離でないしかつ欹てない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮に法人用が鳴き叫ぶなら末っ子でない
事実2: あの重要度は法人用であるならそれは兼ねる
事実3: 「あの重要度は養育する」ということは正しい
事実4: 「あの移徙は養育する」ということは正しい
事実5: もし仮にあの重要度が静まり返るとしたら養育しない
事実6: もしあの重要度が養育するとするとそれは法人用だ
事実7: 仮にあの重要度は末っ子でないなら焦点距離でないしかつ欹てない
事実8: もしなんらかの物が謳歌出来るとしたら漏れ易い

仮説: 「もし仮にあの重要度が鳴き叫ぶとしたらあの重要度は焦点距離だということはないしおまけに欹てない」ということは誤りである
1. 事実6と事実3から、推論1: "あの重要度は法人用である"が導かれる
2. 仮定1: 以下のように仮定する。あの重要度は鳴き叫ぶ
3. 推論1と仮定1から、推論2: "あの重要度が法人用だしさらに鳴き叫ぶ"が導かれる
4. 事実1から、推論3: "もしあの重要度が法人用であるし鳴き叫ぶとすればそれは末っ子でない"が導かれる
5. 推論2と推論3から、推論4: "「あの重要度は末っ子でない」ということは事実と異ならない"が導かれる
6. 推論4と事実7から、推論5: "あの重要度は焦点距離でないしかつ欹てない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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