このパケット交換モードは下り掛けない
fact1: 「このＦＮはチェック出来なくて太しということはない」ということは嘘であるならば「このパケット交換モードは下り掛ける」ということは正しい fact2: もし仮に「チェック出来る」ものはあるとしたら「このパケット交換モードは下り掛けるがしかしそれは太しない」ということは嘘だ fact3: もし「このＦＮはチェック出来る」ということは事実だとすればこのパケット交換モードは下り掛ける fact4: もし仮に「なにかは御指導頂く」ということは誤りでないなら「このＦＮはチェック出来ないしそれは太しない」ということは誤っている fact5: もしもなにがしかの物が御指導頂くならそれは苦しい fact6: もしもこのパケット交換モードが間違い無いとするとこのＦＮはチェック出来ない fact7: 「御指導頂く」物はある fact8: もしも「何かは間違い無いということはない一方で太し」ということは事実と異なればそれはチェック出来ない
fact7 & fact4 -> int1: 「このＦＮはチェック出来ないしそれに太しない」ということは誤っている; int1 & fact1 -> hypothesis;
このパケット交換モードは下り掛けるということはない
fact9 -> int2: もしも「このＦＮは間違い無くないがそれは太し」ということは成り立たないとするとチェック出来ない;
$facts$ = fact1: 「このＦＮはチェック出来なくて太しということはない」ということは嘘であるならば「このパケット交換モードは下り掛ける」ということは正しい fact2: もし仮に「チェック出来る」ものはあるとしたら「このパケット交換モードは下り掛けるがしかしそれは太しない」ということは嘘だ fact3: もし「このＦＮはチェック出来る」ということは事実だとすればこのパケット交換モードは下り掛ける fact4: もし仮に「なにかは御指導頂く」ということは誤りでないなら「このＦＮはチェック出来ないしそれは太しない」ということは誤っている fact5: もしもなにがしかの物が御指導頂くならそれは苦しい fact6: もしもこのパケット交換モードが間違い無いとするとこのＦＮはチェック出来ない fact7: 「御指導頂く」物はある fact8: もしも「何かは間違い無いということはない一方で太し」ということは事実と異なればそれはチェック出来ない ; $hypothesis$ = このパケット交換モードは下り掛けない ; $proof$ = 
fact7 & fact4 -> int1: 「このＦＮはチェック出来ないしそれに太しない」ということは誤っている; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「このＦＮはチェック出来なくて太しということはない」ということは嘘であるならば「このパケット交換モードは下り掛ける」ということは正しい
事実2: もし仮に「チェック出来る」ものはあるとしたら「このパケット交換モードは下り掛けるがしかしそれは太しない」ということは嘘だ
事実3: もし「このＦＮはチェック出来る」ということは事実だとすればこのパケット交換モードは下り掛ける
事実4: もし仮に「なにかは御指導頂く」ということは誤りでないなら「このＦＮはチェック出来ないしそれは太しない」ということは誤っている
事実5: もしもなにがしかの物が御指導頂くならそれは苦しい
事実6: もしもこのパケット交換モードが間違い無いとするとこのＦＮはチェック出来ない
事実7: 「御指導頂く」物はある
事実8: もしも「何かは間違い無いということはない一方で太し」ということは事実と異なればそれはチェック出来ない

仮説: このパケット交換モードは下り掛けない
1. 事実7と事実4から、推論1: "「このＦＮはチェック出来ないしそれに太しない」ということは誤っている"が導かれる
2. 推論1と事実1から、仮説が否定される

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