あのリフレッシュ間隔は尾行しない
fact1: イメージメニューは尾行する fact2: もし仮になんらかの物が同封だということはないならばイメージメニューだ fact3: 「その私傷病は農婦だ」ということは事実と異なるということはない fact4: 「あのエフェクトブラウザは同封だ」ということは正しい fact5: もしも「なにがしかの物は溢れ続けないしかつ同封であるということはない」ということは偽だとすればそれは尾行しない fact6: 何かは溢れ続けるけどそれがバックマリオンでないとすればあのリフレッシュ間隔はイメージメニューだ fact7: あのエフェクトブラウザが溢れ続けるならその私傷病は溢れ続けるがしかしバックマリオンでない fact8: 「「忘れっぽくなくてそれに怖ーくない」ということは成り立つ」ものがあればその本件判決はバックマリオンでない fact9: とあるものは忘れっぽくないしさらに怖ーくない fact10: 仮にあのエフェクトブラウザは溢れ続けるとすれば「その私傷病は溢れ続ける」ということは確かである fact11: 「溢れ続ける」物はある fact12: 「同封であるしそれに溢れ続けない」物はある fact13: 「その本件判決は同封だ」ということは確かである fact14: その本件判決が同封だとするとあのエフェクトブラウザは溢れ続ける fact15: このぶら下げインデントはイメージメニューである fact16: 「その私傷病は溢れ続ける」ということは確かである
fact14 & fact13 -> int1: あのエフェクトブラウザは溢れ続ける; int1 & fact7 -> int2: その私傷病は溢れ続けるけどそれはバックマリオンでない; int2 -> int3: 「溢れ続けるしその上バックマリオンでない」物はある; int3 & fact6 -> int4: あのリフレッシュ間隔はイメージメニューだ; fact1 -> int5: 仮にあのリフレッシュ間隔がイメージメニューならばそれは尾行する; int4 & int5 -> hypothesis;
あのリフレッシュ間隔は尾行しない
fact17 -> int6: 「あのリフレッシュ間隔は溢れ続けなくて同封でない」ということは誤っているとすれば尾行しない;
$facts$ = fact1: イメージメニューは尾行する fact2: もし仮になんらかの物が同封だということはないならばイメージメニューだ fact3: 「その私傷病は農婦だ」ということは事実と異なるということはない fact4: 「あのエフェクトブラウザは同封だ」ということは正しい fact5: もしも「なにがしかの物は溢れ続けないしかつ同封であるということはない」ということは偽だとすればそれは尾行しない fact6: 何かは溢れ続けるけどそれがバックマリオンでないとすればあのリフレッシュ間隔はイメージメニューだ fact7: あのエフェクトブラウザが溢れ続けるならその私傷病は溢れ続けるがしかしバックマリオンでない fact8: 「「忘れっぽくなくてそれに怖ーくない」ということは成り立つ」ものがあればその本件判決はバックマリオンでない fact9: とあるものは忘れっぽくないしさらに怖ーくない fact10: 仮にあのエフェクトブラウザは溢れ続けるとすれば「その私傷病は溢れ続ける」ということは確かである fact11: 「溢れ続ける」物はある fact12: 「同封であるしそれに溢れ続けない」物はある fact13: 「その本件判決は同封だ」ということは確かである fact14: その本件判決が同封だとするとあのエフェクトブラウザは溢れ続ける fact15: このぶら下げインデントはイメージメニューである fact16: 「その私傷病は溢れ続ける」ということは確かである ; $hypothesis$ = あのリフレッシュ間隔は尾行しない ; $proof$ = 
fact14 & fact13 -> int1: あのエフェクトブラウザは溢れ続ける; int1 & fact7 -> int2: その私傷病は溢れ続けるけどそれはバックマリオンでない; int2 -> int3: 「溢れ続けるしその上バックマリオンでない」物はある; int3 & fact6 -> int4: あのリフレッシュ間隔はイメージメニューだ; fact1 -> int5: 仮にあのリフレッシュ間隔がイメージメニューならばそれは尾行する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: イメージメニューは尾行する
事実2: もし仮になんらかの物が同封だということはないならばイメージメニューだ
事実3: 「その私傷病は農婦だ」ということは事実と異なるということはない
事実4: 「あのエフェクトブラウザは同封だ」ということは正しい
事実5: もしも「なにがしかの物は溢れ続けないしかつ同封であるということはない」ということは偽だとすればそれは尾行しない
事実6: 何かは溢れ続けるけどそれがバックマリオンでないとすればあのリフレッシュ間隔はイメージメニューだ
事実7: あのエフェクトブラウザが溢れ続けるならその私傷病は溢れ続けるがしかしバックマリオンでない
事実8: 「「忘れっぽくなくてそれに怖ーくない」ということは成り立つ」ものがあればその本件判決はバックマリオンでない
事実9: とあるものは忘れっぽくないしさらに怖ーくない
事実10: 仮にあのエフェクトブラウザは溢れ続けるとすれば「その私傷病は溢れ続ける」ということは確かである
事実11: 「溢れ続ける」物はある
事実12: 「同封であるしそれに溢れ続けない」物はある
事実13: 「その本件判決は同封だ」ということは確かである
事実14: その本件判決が同封だとするとあのエフェクトブラウザは溢れ続ける
事実15: このぶら下げインデントはイメージメニューである
事実16: 「その私傷病は溢れ続ける」ということは確かである

仮説: あのリフレッシュ間隔は尾行しない
1. 事実14と事実13から、推論1: "あのエフェクトブラウザは溢れ続ける"が導かれる
2. 推論1と事実7から、推論2: "その私傷病は溢れ続けるけどそれはバックマリオンでない"が導かれる
3. 推論2から、推論3: "「溢れ続けるしその上バックマリオンでない」物はある"が導かれる
4. 推論3と事実6から、推論4: "あのリフレッシュ間隔はイメージメニューだ"が導かれる
5. 事実1から、推論5: "仮にあのリフレッシュ間隔がイメージメニューならばそれは尾行する"が導かれる
6. 推論4と推論5から、仮説が否定される

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