「この握り鮨は採決しない」ということは確かだ
fact1: もしなにかは手酷いとしたら「上がり易くない」ということは成り立つ fact2: 仮に「ある物は発揮し難くないけれど採決する」ということは嘘ならば「採決しない」ということは真実だ fact3: その記述子テーブルは喚く fact4: もし仮にこのカラメル状が示威行動であるということはないけどステータスシンボルならこの旅客はステータスシンボルでない fact5: ある物はステータスシンボルであるということはないとすれば「それは発揮し難くない一方で採決する」ということは偽だ fact6: 仮にこの旅客がステータスシンボルでないならこの握り鮨はステータスシンボルでない fact7: 「あの遊脚は採決する」ということは成り立つ fact8: 上がり易くないものは示威行動であるということはない一方でステータスシンボルだ fact9: もしなにかは喚くとすると「手酷くないしまた無しということはない」ということは間違っている fact10: 「この握り鮨は譲位する」ということは成り立つ fact11: この握り鮨は採決する
fact11 -> hypothesis;
fact11 -> hypothesis;
この握り鮨は採決しない
fact15 -> int1: もし仮に「この握り鮨は発揮し難くない一方で採決する」ということは間違っているとするとそれは採決しない; fact19 -> int2: 仮にこの握り鮨はステータスシンボルでないとすれば「それは発揮し難くない一方で採決する」ということは本当でない; fact17 -> int3: もし仮にこのカラメル状が上がり易くないとすればそれは示威行動でないがしかしステータスシンボルである; fact14 -> int4: もしこのカラメル状が手酷いなら上がり易くない; fact18 -> int5: その記述子テーブルは喚くとすれば「手酷くないししかも無しない」ということは成り立たない; int5 & fact12 -> int6: 「「その記述子テーブルは手酷くないし加えて無しない」ということは成り立たない」ということは真実である; int6 -> int7: 「「手酷くないし更に無しない」ということは成り立つということはない」ものはある;
$facts$ = fact1: もしなにかは手酷いとしたら「上がり易くない」ということは成り立つ fact2: 仮に「ある物は発揮し難くないけれど採決する」ということは嘘ならば「採決しない」ということは真実だ fact3: その記述子テーブルは喚く fact4: もし仮にこのカラメル状が示威行動であるということはないけどステータスシンボルならこの旅客はステータスシンボルでない fact5: ある物はステータスシンボルであるということはないとすれば「それは発揮し難くない一方で採決する」ということは偽だ fact6: 仮にこの旅客がステータスシンボルでないならこの握り鮨はステータスシンボルでない fact7: 「あの遊脚は採決する」ということは成り立つ fact8: 上がり易くないものは示威行動であるということはない一方でステータスシンボルだ fact9: もしなにかは喚くとすると「手酷くないしまた無しということはない」ということは間違っている fact10: 「この握り鮨は譲位する」ということは成り立つ fact11: この握り鮨は採決する ; $hypothesis$ = 「この握り鮨は採決しない」ということは確かだ ; $proof$ = 
fact11 -> hypothesis; __DISPROVED__
事実1: もしなにかは手酷いとしたら「上がり易くない」ということは成り立つ
事実2: 仮に「ある物は発揮し難くないけれど採決する」ということは嘘ならば「採決しない」ということは真実だ
事実3: その記述子テーブルは喚く
事実4: もし仮にこのカラメル状が示威行動であるということはないけどステータスシンボルならこの旅客はステータスシンボルでない
事実5: ある物はステータスシンボルであるということはないとすれば「それは発揮し難くない一方で採決する」ということは偽だ
事実6: 仮にこの旅客がステータスシンボルでないならこの握り鮨はステータスシンボルでない
事実7: 「あの遊脚は採決する」ということは成り立つ
事実8: 上がり易くないものは示威行動であるということはない一方でステータスシンボルだ
事実9: もしなにかは喚くとすると「手酷くないしまた無しということはない」ということは間違っている
事実10: 「この握り鮨は譲位する」ということは成り立つ
事実11: この握り鮨は採決する

仮説: 「この握り鮨は採決しない」ということは確かだ
1. 事実11から、仮説が否定される

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