その支援策はフォース・ストリートでない
fact1: 飽きっぽいということはない物は徒らっぽいし赤い fact2: 仮に「なにかはサイクル特性であるし更にそれは飽きっぽい」ということは事実でないとすればそれは飽きっぽくない fact3: 仮に何かは徒らっぽいとするとそれはフォース・ストリートである fact4: その伊予水軍は徒らっぽい fact5: その支援策は木捻子だしおまけに徒らっぽい fact6: 仮に何らかの物は柔らかくないとすれば「サイクル特性で更に飽きっぽい」ということは事実と異なる fact7: 徒らっぽいものは木捻子であるかまたはフォース・ストリートでない fact8: もし仮にその勝ちは木捻子であるかまたはフォース・ストリートであるということはないとすると「その支援策はフォース・ストリートでない」ということは事実である fact9: その支援策は木捻子だ fact10: その支援策は細工する fact11: 湿っぽい物は経済的成功である fact12: 仮にあるものが慌てるとしたらそれは聞き比べる fact13: 「財務面は楔形である」ということは正しい fact14: 味気無い物は慎ましい fact15: その支援策は木捻子であるしさらに経済的成功だ
fact5 -> int1: その支援策は徒らっぽい; fact3 -> int2: もし「その支援策は徒らっぽい」ということは確かであるとしたら「それはフォース・ストリートだ」ということは真実だ; int1 & int2 -> hypothesis;
その支援策はフォース・ストリートでない
fact17 -> int3: もし仮にその勝ちが徒らっぽいとすると木捻子であるかもしくはフォース・ストリートであるということはない; fact18 -> int4: 仮にその勝ちが飽きっぽくないとすればそれは徒らっぽくてそれに赤い; fact20 -> int5: もし「「その勝ちはサイクル特性でおまけに飽きっぽい」ということは事実である」ということは偽ならば飽きっぽくない; fact19 -> int6: 仮にその勝ちは柔らかくないとすると「それはサイクル特性であって飽きっぽい」ということは成り立たない;
$facts$ = fact1: 飽きっぽいということはない物は徒らっぽいし赤い fact2: 仮に「なにかはサイクル特性であるし更にそれは飽きっぽい」ということは事実でないとすればそれは飽きっぽくない fact3: 仮に何かは徒らっぽいとするとそれはフォース・ストリートである fact4: その伊予水軍は徒らっぽい fact5: その支援策は木捻子だしおまけに徒らっぽい fact6: 仮に何らかの物は柔らかくないとすれば「サイクル特性で更に飽きっぽい」ということは事実と異なる fact7: 徒らっぽいものは木捻子であるかまたはフォース・ストリートでない fact8: もし仮にその勝ちは木捻子であるかまたはフォース・ストリートであるということはないとすると「その支援策はフォース・ストリートでない」ということは事実である fact9: その支援策は木捻子だ fact10: その支援策は細工する fact11: 湿っぽい物は経済的成功である fact12: 仮にあるものが慌てるとしたらそれは聞き比べる fact13: 「財務面は楔形である」ということは正しい fact14: 味気無い物は慎ましい fact15: その支援策は木捻子であるしさらに経済的成功だ ; $hypothesis$ = その支援策はフォース・ストリートでない ; $proof$ = 
fact5 -> int1: その支援策は徒らっぽい; fact3 -> int2: もし「その支援策は徒らっぽい」ということは確かであるとしたら「それはフォース・ストリートだ」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 飽きっぽいということはない物は徒らっぽいし赤い
事実2: 仮に「なにかはサイクル特性であるし更にそれは飽きっぽい」ということは事実でないとすればそれは飽きっぽくない
事実3: 仮に何かは徒らっぽいとするとそれはフォース・ストリートである
事実4: その伊予水軍は徒らっぽい
事実5: その支援策は木捻子だしおまけに徒らっぽい
事実6: 仮に何らかの物は柔らかくないとすれば「サイクル特性で更に飽きっぽい」ということは事実と異なる
事実7: 徒らっぽいものは木捻子であるかまたはフォース・ストリートでない
事実8: もし仮にその勝ちは木捻子であるかまたはフォース・ストリートであるということはないとすると「その支援策はフォース・ストリートでない」ということは事実である
事実9: その支援策は木捻子だ
事実10: その支援策は細工する
事実11: 湿っぽい物は経済的成功である
事実12: 仮にあるものが慌てるとしたらそれは聞き比べる
事実13: 「財務面は楔形である」ということは正しい
事実14: 味気無い物は慎ましい
事実15: その支援策は木捻子であるしさらに経済的成功だ

仮説: その支援策はフォース・ストリートでない
1. 事実5から、推論1: "その支援策は徒らっぽい"が導かれる
2. 事実3から、推論2: "もし「その支援策は徒らっぽい」ということは確かであるとしたら「それはフォース・ストリートだ」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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