あのティーンエージャーは授業日数でない
fact1: 仮にその混載仕立て情報は発展過程であるならまどろっこしくらない fact2: 仮にその混載仕立て情報は発展過程であるとすると内意でないしそれにまどろっこしくらない fact3: もしなにがしかの物が内意であるということはないしそれがまどろっこしくらないならそれは引き出し易い fact4: もし仮にその混載仕立て情報が内意でないがしかしまどろっこしいとすればそれは引き出し易い fact5: あのティーンエージャーは窓口係である fact6: 仮にその混載仕立て情報が引き出し易いとすればそのアシストシステムは出難い fact7: もしあの金融サービスが苦しがるなら乗り易いということはなくておまけに薄墨でない fact8: この大規模灌漑は酸化しなくてまた出難いということはない fact9: もし仮に何かは内意でないがそれがまどろっこしいとしたらそれは引き出し易い fact10: もしそのアシストシステムは出難いとしたら「あのティーンエージャーは授業日数だ」ということは事実と異ならない fact11: もしその混載仕立て情報が授業日数でないしそれは発展過程でないならば引き出し易い fact12: 仮にその混載仕立て情報が授業日数ならあのティーンエージャーはまどろっこしい fact13: 仮にその混載仕立て情報が出難いならばそのアシストシステムは発展過程である fact14: その混載仕立て情報は発展過程である fact15: その混載仕立て情報はまどろっこしくらない fact16: 仮に出難くない物は授業日数でないならば内意である
fact3 -> int1: もしもその混載仕立て情報が内意でなくてかつそれがまどろっこしくらないなら引き出し易い; fact14 & fact2 -> int2: その混載仕立て情報は内意でなくてまたまどろっこしいということはない; int1 & int2 -> int3: 「その混載仕立て情報は引き出し易い」ということは偽でない; int3 & fact6 -> int4: そのアシストシステムは出難い; int4 & fact10 -> hypothesis;
$facts$ = fact1: 仮にその混載仕立て情報は発展過程であるならまどろっこしくらない fact2: 仮にその混載仕立て情報は発展過程であるとすると内意でないしそれにまどろっこしくらない fact3: もしなにがしかの物が内意であるということはないしそれがまどろっこしくらないならそれは引き出し易い fact4: もし仮にその混載仕立て情報が内意でないがしかしまどろっこしいとすればそれは引き出し易い fact5: あのティーンエージャーは窓口係である fact6: 仮にその混載仕立て情報が引き出し易いとすればそのアシストシステムは出難い fact7: もしあの金融サービスが苦しがるなら乗り易いということはなくておまけに薄墨でない fact8: この大規模灌漑は酸化しなくてまた出難いということはない fact9: もし仮に何かは内意でないがそれがまどろっこしいとしたらそれは引き出し易い fact10: もしそのアシストシステムは出難いとしたら「あのティーンエージャーは授業日数だ」ということは事実と異ならない fact11: もしその混載仕立て情報が授業日数でないしそれは発展過程でないならば引き出し易い fact12: 仮にその混載仕立て情報が授業日数ならあのティーンエージャーはまどろっこしい fact13: 仮にその混載仕立て情報が出難いならばそのアシストシステムは発展過程である fact14: その混載仕立て情報は発展過程である fact15: その混載仕立て情報はまどろっこしくらない fact16: 仮に出難くない物は授業日数でないならば内意である ; $hypothesis$ = あのティーンエージャーは授業日数でない ; $proof$ = 
fact3 -> int1: もしもその混載仕立て情報が内意でなくてかつそれがまどろっこしくらないなら引き出し易い; fact14 & fact2 -> int2: その混載仕立て情報は内意でなくてまたまどろっこしいということはない; int1 & int2 -> int3: 「その混載仕立て情報は引き出し易い」ということは偽でない; int3 & fact6 -> int4: そのアシストシステムは出難い; int4 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にその混載仕立て情報は発展過程であるならまどろっこしくらない
事実2: 仮にその混載仕立て情報は発展過程であるとすると内意でないしそれにまどろっこしくらない
事実3: もしなにがしかの物が内意であるということはないしそれがまどろっこしくらないならそれは引き出し易い
事実4: もし仮にその混載仕立て情報が内意でないがしかしまどろっこしいとすればそれは引き出し易い
事実5: あのティーンエージャーは窓口係である
事実6: 仮にその混載仕立て情報が引き出し易いとすればそのアシストシステムは出難い
事実7: もしあの金融サービスが苦しがるなら乗り易いということはなくておまけに薄墨でない
事実8: この大規模灌漑は酸化しなくてまた出難いということはない
事実9: もし仮に何かは内意でないがそれがまどろっこしいとしたらそれは引き出し易い
事実10: もしそのアシストシステムは出難いとしたら「あのティーンエージャーは授業日数だ」ということは事実と異ならない
事実11: もしその混載仕立て情報が授業日数でないしそれは発展過程でないならば引き出し易い
事実12: 仮にその混載仕立て情報が授業日数ならあのティーンエージャーはまどろっこしい
事実13: 仮にその混載仕立て情報が出難いならばそのアシストシステムは発展過程である
事実14: その混載仕立て情報は発展過程である
事実15: その混載仕立て情報はまどろっこしくらない
事実16: 仮に出難くない物は授業日数でないならば内意である

仮説: あのティーンエージャーは授業日数でない
1. 事実3から、推論1: "もしもその混載仕立て情報が内意でなくてかつそれがまどろっこしくらないなら引き出し易い"が導かれる
2. 事実14と事実2から、推論2: "その混載仕立て情報は内意でなくてまたまどろっこしいということはない"が導かれる
3. 推論1と推論2から、推論3: "「その混載仕立て情報は引き出し易い」ということは偽でない"が導かれる
4. 推論3と事実6から、推論4: "そのアシストシステムは出難い"が導かれる
5. 推論4と事実10から、仮説が否定される

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