「「もし仮に誓うなら悪口雑言でないし不足し易い」物はある」ということは成り立たない
fact1: 仮にその日本以上が誓うならそれは悪口雑言でかつそれは不足し易い fact2: 仮にその日本以上は物欲しいとすれば「不足し易くないがしかし左袒する」ということは確かだ fact3: もし仮にその日本以上が誓えば不足し易い fact4: もし何かは捧ぐればそれはパトロールしないしその上それはレッズだ fact5: もしも「そのダイアローグは薄い」ということは正しいならば錬成するということはないけれど判官贔屓である fact6: もしその日本以上が誓うとすれば悪口雑言でないし更に不足し易い fact7: 「仮に「誓う」ということは真実であるとしたら悪口雑言でない」ものはある fact8: 「誓うとしたら悪口雑言でかつ不足し易い」ものはある
fact6 -> hypothesis;
「もしも捧ぐとするとパトロールしなくてレッズである」物はある
fact9 -> int1: もし仮にあのワンテンポが捧ぐとしたらパトロールしなくてそれはレッズだ; int1 -> hypothesis;
$facts$ = fact1: 仮にその日本以上が誓うならそれは悪口雑言でかつそれは不足し易い fact2: 仮にその日本以上は物欲しいとすれば「不足し易くないがしかし左袒する」ということは確かだ fact3: もし仮にその日本以上が誓えば不足し易い fact4: もし何かは捧ぐればそれはパトロールしないしその上それはレッズだ fact5: もしも「そのダイアローグは薄い」ということは正しいならば錬成するということはないけれど判官贔屓である fact6: もしその日本以上が誓うとすれば悪口雑言でないし更に不足し易い fact7: 「仮に「誓う」ということは真実であるとしたら悪口雑言でない」ものはある fact8: 「誓うとしたら悪口雑言でかつ不足し易い」ものはある ; $hypothesis$ = 「「もし仮に誓うなら悪口雑言でないし不足し易い」物はある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 仮にその日本以上が誓うならそれは悪口雑言でかつそれは不足し易い
事実2: 仮にその日本以上は物欲しいとすれば「不足し易くないがしかし左袒する」ということは確かだ
事実3: もし仮にその日本以上が誓えば不足し易い
事実4: もし何かは捧ぐればそれはパトロールしないしその上それはレッズだ
事実5: もしも「そのダイアローグは薄い」ということは正しいならば錬成するということはないけれど判官贔屓である
事実6: もしその日本以上が誓うとすれば悪口雑言でないし更に不足し易い
事実7: 「仮に「誓う」ということは真実であるとしたら悪口雑言でない」ものはある
事実8: 「誓うとしたら悪口雑言でかつ不足し易い」ものはある

仮説: 「「もし仮に誓うなら悪口雑言でないし不足し易い」物はある」ということは成り立たない
1. 事実6から、仮説が否定される

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