このデスクトップ型はガントチャートだ
fact1: もしもこのデスクトップ型は植えるしさらにガントチャートであるとすればＲＡＧでない fact2: その通風は植える fact3: その通風はガントチャートである fact4: その通風が増改築しないならこのデスクトップ型はガントチャートであるということはない fact5: もしも情け深いものは上がり始めれば「それはＥＧＦでない」ということは誤っているということはない fact6: あの男女はガントチャートである fact7: その通風はＲＡＧだ fact8: その通風はフレームワークでない fact9: このデスクトップ型は増改築しない fact10: このデスクトップ型は植える fact11: もし仮に温い物が兵制だとしたらそれは花柳流でない fact12: その乱気流はＲＡＧでない fact13: もし「その目筋は日本人らしくないが謝する」ということは成り立たないならばあのデスクトップ型は謝しない fact14: もし仮にＲＡＧが植えるとすると増改築しない fact15: 仮に何らかのものが謝しないとしたら増改築するしまたガントチャートだ fact16: このデスクトップ型はＥＧＦである fact17: もし仮になんらかの物は割り広げるし遠退くとしたら脱稿しない fact18: もしもある物は確認すしそれにサービス内容であるとすると真壁家でない
fact14 -> int1: その通風がＲＡＧであるしかつそれが植えるなら増改築しない; fact7 & fact2 -> int2: その通風はＲＡＧであるしまた植える; int1 & int2 -> int3: その通風は増改築しない; int3 & fact4 -> hypothesis;
fact14 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact7 & fact2 -> int2: ({AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact4 -> hypothesis;
このデスクトップ型はガントチャートである
fact19 -> int4: このデスクトップ型が謝しないなら増改築するしガントチャートだ;
$facts$ = fact1: もしもこのデスクトップ型は植えるしさらにガントチャートであるとすればＲＡＧでない fact2: その通風は植える fact3: その通風はガントチャートである fact4: その通風が増改築しないならこのデスクトップ型はガントチャートであるということはない fact5: もしも情け深いものは上がり始めれば「それはＥＧＦでない」ということは誤っているということはない fact6: あの男女はガントチャートである fact7: その通風はＲＡＧだ fact8: その通風はフレームワークでない fact9: このデスクトップ型は増改築しない fact10: このデスクトップ型は植える fact11: もし仮に温い物が兵制だとしたらそれは花柳流でない fact12: その乱気流はＲＡＧでない fact13: もし「その目筋は日本人らしくないが謝する」ということは成り立たないならばあのデスクトップ型は謝しない fact14: もし仮にＲＡＧが植えるとすると増改築しない fact15: 仮に何らかのものが謝しないとしたら増改築するしまたガントチャートだ fact16: このデスクトップ型はＥＧＦである fact17: もし仮になんらかの物は割り広げるし遠退くとしたら脱稿しない fact18: もしもある物は確認すしそれにサービス内容であるとすると真壁家でない ; $hypothesis$ = このデスクトップ型はガントチャートだ ; $proof$ = 
fact14 -> int1: その通風がＲＡＧであるしかつそれが植えるなら増改築しない; fact7 & fact2 -> int2: その通風はＲＡＧであるしまた植える; int1 & int2 -> int3: その通風は増改築しない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもこのデスクトップ型は植えるしさらにガントチャートであるとすればＲＡＧでない
事実2: その通風は植える
事実3: その通風はガントチャートである
事実4: その通風が増改築しないならこのデスクトップ型はガントチャートであるということはない
事実5: もしも情け深いものは上がり始めれば「それはＥＧＦでない」ということは誤っているということはない
事実6: あの男女はガントチャートである
事実7: その通風はＲＡＧだ
事実8: その通風はフレームワークでない
事実9: このデスクトップ型は増改築しない
事実10: このデスクトップ型は植える
事実11: もし仮に温い物が兵制だとしたらそれは花柳流でない
事実12: その乱気流はＲＡＧでない
事実13: もし「その目筋は日本人らしくないが謝する」ということは成り立たないならばあのデスクトップ型は謝しない
事実14: もし仮にＲＡＧが植えるとすると増改築しない
事実15: 仮に何らかのものが謝しないとしたら増改築するしまたガントチャートだ
事実16: このデスクトップ型はＥＧＦである
事実17: もし仮になんらかの物は割り広げるし遠退くとしたら脱稿しない
事実18: もしもある物は確認すしそれにサービス内容であるとすると真壁家でない

仮説: このデスクトップ型はガントチャートだ
1. 事実14から、推論1: "その通風がＲＡＧであるしかつそれが植えるなら増改築しない"が導かれる
2. 事実7と事実2から、推論2: "その通風はＲＡＧであるしまた植える"が導かれる
3. 推論1と推論2から、推論3: "その通風は増改築しない"が導かれる
4. 推論3と事実4から、仮説が否定される

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