このＸＹ女性はもどかしくて更に横滑りする
fact1: もし何かは話し終えるとすれば「この取り引き市場はもどかしいしおまけにそれは抜け切る」ということは成り立たない fact2: この湯量が抜け切らないとするとその徒花は裨益するかあるいはそれは打っ飛ばす fact3: 「このＸＹ女性は三呼吸するし加えてそれは裨益する」ということは誤りである fact4: もしこの社会福祉基礎構造改革が白々しかないとすればこの湯量は対面するかもしくは信任するかあるいは両方ともだ fact5: もしも「裨益する」ものはあるとしたら「このＸＹ女性はもどかしいしその上横滑りする」ということは成り立たない fact6: 「このＸＹ女性は裨益するしに対して見る」ということは成り立たない fact7: 「出来上がりである」物はある fact8: 仮に「こそばゆい」ものはあるとすれば「このＸＹ女性は愛情深いししかも裨益する」ということは誤りである fact9: 「もどかしい」物はある fact10: この湯量は対面するかまたは信任すればそれは抜け切るということはない fact11: 「その党名は白々しいけれど接近し易くない」ということは成り立たない fact12: 「裨益する」物はある fact13: なんらかの物は横滑りする
fact12 & fact5 -> hypothesis;
このＸＹ女性はもどかしくて加えて横滑りする
fact15 -> int1: 「「白々しくて接近し易いということはない」ということは成り立たない」物はある;
$facts$ = fact1: もし何かは話し終えるとすれば「この取り引き市場はもどかしいしおまけにそれは抜け切る」ということは成り立たない fact2: この湯量が抜け切らないとするとその徒花は裨益するかあるいはそれは打っ飛ばす fact3: 「このＸＹ女性は三呼吸するし加えてそれは裨益する」ということは誤りである fact4: もしこの社会福祉基礎構造改革が白々しかないとすればこの湯量は対面するかもしくは信任するかあるいは両方ともだ fact5: もしも「裨益する」ものはあるとしたら「このＸＹ女性はもどかしいしその上横滑りする」ということは成り立たない fact6: 「このＸＹ女性は裨益するしに対して見る」ということは成り立たない fact7: 「出来上がりである」物はある fact8: 仮に「こそばゆい」ものはあるとすれば「このＸＹ女性は愛情深いししかも裨益する」ということは誤りである fact9: 「もどかしい」物はある fact10: この湯量は対面するかまたは信任すればそれは抜け切るということはない fact11: 「その党名は白々しいけれど接近し易くない」ということは成り立たない fact12: 「裨益する」物はある fact13: なんらかの物は横滑りする ; $hypothesis$ = このＸＹ女性はもどかしくて更に横滑りする ; $proof$ = 
fact12 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何かは話し終えるとすれば「この取り引き市場はもどかしいしおまけにそれは抜け切る」ということは成り立たない
事実2: この湯量が抜け切らないとするとその徒花は裨益するかあるいはそれは打っ飛ばす
事実3: 「このＸＹ女性は三呼吸するし加えてそれは裨益する」ということは誤りである
事実4: もしこの社会福祉基礎構造改革が白々しかないとすればこの湯量は対面するかもしくは信任するかあるいは両方ともだ
事実5: もしも「裨益する」ものはあるとしたら「このＸＹ女性はもどかしいしその上横滑りする」ということは成り立たない
事実6: 「このＸＹ女性は裨益するしに対して見る」ということは成り立たない
事実7: 「出来上がりである」物はある
事実8: 仮に「こそばゆい」ものはあるとすれば「このＸＹ女性は愛情深いししかも裨益する」ということは誤りである
事実9: 「もどかしい」物はある
事実10: この湯量は対面するかまたは信任すればそれは抜け切るということはない
事実11: 「その党名は白々しいけれど接近し易くない」ということは成り立たない
事実12: 「裨益する」物はある
事実13: なんらかの物は横滑りする

仮説: このＸＹ女性はもどかしくて更に横滑りする
1. 事実12と事実5から、仮説が否定される

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