「あの天上は踏み込むが歳出面でない」ということは間違いだ
fact1: もしも「シレナ号である」物があるとするとこの火襷はパッティングするけれど踏み込むということはない fact2: 仮に「気球である」ものがあればあの天上は不自由するがしかしフロッピードライブでない fact3: 「フロッピードライブな」物はある fact4: とある物は区切る fact5: もし仮に「フロッピードライブである」物はあるなら「あの天上は歳出面だということはない」ということは事実である fact6: もしもその船場がフロッピードライブでなくて軽しないとしたらその鳩目金はフロッピードライブでない fact7: あの天上は歳出面でない fact8: なにがしかの物は不自由する fact9: その鳩目金はフロッピードライブであるということはないとしたら「あの天上は踏み込むけれどそれは歳出面でない」ということは誤りである fact10: ある物は踏み込む fact11: もし仮に「フロッピードライブな」物があるならあの天上は踏み込むが歳出面でない fact12: もし何かは就任するとするとそれはフロッピードライブでなくて加えて軽しない fact13: 「歳出面な」物はある fact14: 「就任する」物はある
fact3 & fact11 -> hypothesis;
fact3 & fact11 -> hypothesis;
「あの天上は踏み込むが歳出面であるということはない」ということは成り立たない
fact15 -> int1: その船場が就任するとするとそれはフロッピードライブでないし軽しない;
$facts$ = fact1: もしも「シレナ号である」物があるとするとこの火襷はパッティングするけれど踏み込むということはない fact2: 仮に「気球である」ものがあればあの天上は不自由するがしかしフロッピードライブでない fact3: 「フロッピードライブな」物はある fact4: とある物は区切る fact5: もし仮に「フロッピードライブである」物はあるなら「あの天上は歳出面だということはない」ということは事実である fact6: もしもその船場がフロッピードライブでなくて軽しないとしたらその鳩目金はフロッピードライブでない fact7: あの天上は歳出面でない fact8: なにがしかの物は不自由する fact9: その鳩目金はフロッピードライブであるということはないとしたら「あの天上は踏み込むけれどそれは歳出面でない」ということは誤りである fact10: ある物は踏み込む fact11: もし仮に「フロッピードライブな」物があるならあの天上は踏み込むが歳出面でない fact12: もし何かは就任するとするとそれはフロッピードライブでなくて加えて軽しない fact13: 「歳出面な」物はある fact14: 「就任する」物はある ; $hypothesis$ = 「あの天上は踏み込むが歳出面でない」ということは間違いだ ; $proof$ = 
fact3 & fact11 -> hypothesis; __DISPROVED__
事実1: もしも「シレナ号である」物があるとするとこの火襷はパッティングするけれど踏み込むということはない
事実2: 仮に「気球である」ものがあればあの天上は不自由するがしかしフロッピードライブでない
事実3: 「フロッピードライブな」物はある
事実4: とある物は区切る
事実5: もし仮に「フロッピードライブである」物はあるなら「あの天上は歳出面だということはない」ということは事実である
事実6: もしもその船場がフロッピードライブでなくて軽しないとしたらその鳩目金はフロッピードライブでない
事実7: あの天上は歳出面でない
事実8: なにがしかの物は不自由する
事実9: その鳩目金はフロッピードライブであるということはないとしたら「あの天上は踏み込むけれどそれは歳出面でない」ということは誤りである
事実10: ある物は踏み込む
事実11: もし仮に「フロッピードライブな」物があるならあの天上は踏み込むが歳出面でない
事実12: もし何かは就任するとするとそれはフロッピードライブでなくて加えて軽しない
事実13: 「歳出面な」物はある
事実14: 「就任する」物はある

仮説: 「あの天上は踏み込むが歳出面でない」ということは間違いだ
1. 事実3と事実11から、仮説が否定される

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