この最大離陸重量は当選する
fact1: 仮にそのネガティブがＡＤＨでないならばこの最大離陸重量は決定すし加えて経験的良心である fact2: 何らかのものは長続きするとしたら「この企業所得税は勤め始めるがしかし舞い下りない」ということは事実と異なる fact3: この開口面強度分布は当選しない fact4: もしもとあるものが気の毒がるならそれは勤め始める fact5: この最大離陸重量は経験的良心だ fact6: もしそのネガティブがＡＤＨでないとすればこの最大離陸重量は経験的良心である fact7: この開口面強度分布は気の毒がるし舞い下りる fact8: もしもとある物が舞い下りないとすると当選するし気の毒がる fact9: もし仮にこの開口面強度分布は勤め始めるとしたら「この最大離陸重量は長続きする」ということは成り立つ fact10: ある物が長続きするとするとそれは挙手する fact11: もしなにがしかの物が挙手するし当選するなら決定すらない fact12: もし「この開口面強度分布は挙手しない」ということは本当であるとするとそれは長続きしなくてそれは勤め始める fact13: あの取り締まりはＡＤＨである fact14: この開口面強度分布は舞い下りる fact15: そのネガティブはＡＤＨでない
fact7 -> int1: この開口面強度分布は気の毒がる; fact4 -> int2: もしこの開口面強度分布が気の毒がるとすると勤め始める; int1 & int2 -> int3: この開口面強度分布は勤め始める; int3 & fact9 -> int4: この最大離陸重量は長続きする; fact10 -> int5: もしもこの最大離陸重量が長続きするとすれば挙手する; int4 & int5 -> int6: この最大離陸重量は挙手する; void -> assump1: 以下のように仮定する。この最大離陸重量は当選する; int6 & assump1 -> int7: この最大離陸重量は挙手するしかつそれは当選する; fact11 -> int8: もしも「この最大離陸重量は挙手するしかつ当選する」ということは本当だとすると決定すらない; int7 & int8 -> int9: この最大離陸重量は決定すということはない; fact15 & fact1 -> int10: この最大離陸重量は決定すしさらに経験的良心である; int10 -> int11: この最大離陸重量は決定す; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
「この最大離陸重量は当選する」ということは確かである
fact16 -> int13: もしこの最大離陸重量は舞い下りないとすれば「それは当選するしおまけにそれは気の毒がる」ということは確かだ;
$facts$ = fact1: 仮にそのネガティブがＡＤＨでないならばこの最大離陸重量は決定すし加えて経験的良心である fact2: 何らかのものは長続きするとしたら「この企業所得税は勤め始めるがしかし舞い下りない」ということは事実と異なる fact3: この開口面強度分布は当選しない fact4: もしもとあるものが気の毒がるならそれは勤め始める fact5: この最大離陸重量は経験的良心だ fact6: もしそのネガティブがＡＤＨでないとすればこの最大離陸重量は経験的良心である fact7: この開口面強度分布は気の毒がるし舞い下りる fact8: もしもとある物が舞い下りないとすると当選するし気の毒がる fact9: もし仮にこの開口面強度分布は勤め始めるとしたら「この最大離陸重量は長続きする」ということは成り立つ fact10: ある物が長続きするとするとそれは挙手する fact11: もしなにがしかの物が挙手するし当選するなら決定すらない fact12: もし「この開口面強度分布は挙手しない」ということは本当であるとするとそれは長続きしなくてそれは勤め始める fact13: あの取り締まりはＡＤＨである fact14: この開口面強度分布は舞い下りる fact15: そのネガティブはＡＤＨでない ; $hypothesis$ = この最大離陸重量は当選する ; $proof$ = 
fact7 -> int1: この開口面強度分布は気の毒がる; fact4 -> int2: もしこの開口面強度分布が気の毒がるとすると勤め始める; int1 & int2 -> int3: この開口面強度分布は勤め始める; int3 & fact9 -> int4: この最大離陸重量は長続きする; fact10 -> int5: もしもこの最大離陸重量が長続きするとすれば挙手する; int4 & int5 -> int6: この最大離陸重量は挙手する; void -> assump1: 以下のように仮定する。この最大離陸重量は当選する; int6 & assump1 -> int7: この最大離陸重量は挙手するしかつそれは当選する; fact11 -> int8: もしも「この最大離陸重量は挙手するしかつ当選する」ということは本当だとすると決定すらない; int7 & int8 -> int9: この最大離陸重量は決定すということはない; fact15 & fact1 -> int10: この最大離陸重量は決定すしさらに経験的良心である; int10 -> int11: この最大離陸重量は決定す; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __DISPROVED__
事実1: 仮にそのネガティブがＡＤＨでないならばこの最大離陸重量は決定すし加えて経験的良心である
事実2: 何らかのものは長続きするとしたら「この企業所得税は勤め始めるがしかし舞い下りない」ということは事実と異なる
事実3: この開口面強度分布は当選しない
事実4: もしもとあるものが気の毒がるならそれは勤め始める
事実5: この最大離陸重量は経験的良心だ
事実6: もしそのネガティブがＡＤＨでないとすればこの最大離陸重量は経験的良心である
事実7: この開口面強度分布は気の毒がるし舞い下りる
事実8: もしもとある物が舞い下りないとすると当選するし気の毒がる
事実9: もし仮にこの開口面強度分布は勤め始めるとしたら「この最大離陸重量は長続きする」ということは成り立つ
事実10: ある物が長続きするとするとそれは挙手する
事実11: もしなにがしかの物が挙手するし当選するなら決定すらない
事実12: もし「この開口面強度分布は挙手しない」ということは本当であるとするとそれは長続きしなくてそれは勤め始める
事実13: あの取り締まりはＡＤＨである
事実14: この開口面強度分布は舞い下りる
事実15: そのネガティブはＡＤＨでない

仮説: この最大離陸重量は当選する
1. 事実7から、推論1: "この開口面強度分布は気の毒がる"が導かれる
2. 事実4から、推論2: "もしこの開口面強度分布が気の毒がるとすると勤め始める"が導かれる
3. 推論1と推論2から、推論3: "この開口面強度分布は勤め始める"が導かれる
4. 推論3と事実9から、推論4: "この最大離陸重量は長続きする"が導かれる
5. 事実10から、推論5: "もしもこの最大離陸重量が長続きするとすれば挙手する"が導かれる
6. 推論4と推論5から、推論6: "この最大離陸重量は挙手する"が導かれる
7. 仮定1: 以下のように仮定する。この最大離陸重量は当選する
8. 推論6と仮定1から、推論7: "この最大離陸重量は挙手するしかつそれは当選する"が導かれる
9. 事実11から、推論8: "もしも「この最大離陸重量は挙手するしかつ当選する」ということは本当だとすると決定すらない"が導かれる
10. 推論7と推論8から、推論9: "この最大離陸重量は決定すということはない"が導かれる
11. 事実15と事実1から、推論10: "この最大離陸重量は決定すしさらに経験的良心である"が導かれる
12. 推論10から、推論11: "この最大離陸重量は決定す"が導かれる
13. 推論9と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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