「「告白出来る」物はある」ということは成り立たない
fact1: この集合体は浅し fact2: この集合体は告白出来る fact3: この集合体は用い易い fact4: 「摂取出来る」ものはある fact5: この集合体は読み易い fact6: もしも何かは告白出来るとしたらそれは読み易い fact7: もし何かは手広くないならそれは告白出来るし私らしい fact8: 「「この額斑は入り過ぎる一方で如何わしくない」ということは成り立たない」ということは成り立つならそれは如何わしい fact9: この集合体は上がり難い fact10: この集合体は想像し難い fact11: なにがしかの物は抉る fact12: この集合体は迷い易い fact13: この額斑は発症し易い fact14: 面目無い物はある fact15: 何かは受戒する fact16: この集合体は伝え合う
fact2 -> hypothesis;
fact2 -> hypothesis;
この集合体は私らしい
fact18 -> int1: もし仮にこの集合体が手広くないならば告白出来るしまた私らしい;
$facts$ = fact1: この集合体は浅し fact2: この集合体は告白出来る fact3: この集合体は用い易い fact4: 「摂取出来る」ものはある fact5: この集合体は読み易い fact6: もしも何かは告白出来るとしたらそれは読み易い fact7: もし何かは手広くないならそれは告白出来るし私らしい fact8: 「「この額斑は入り過ぎる一方で如何わしくない」ということは成り立たない」ということは成り立つならそれは如何わしい fact9: この集合体は上がり難い fact10: この集合体は想像し難い fact11: なにがしかの物は抉る fact12: この集合体は迷い易い fact13: この額斑は発症し易い fact14: 面目無い物はある fact15: 何かは受戒する fact16: この集合体は伝え合う ; $hypothesis$ = 「「告白出来る」物はある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この集合体は浅し
事実2: この集合体は告白出来る
事実3: この集合体は用い易い
事実4: 「摂取出来る」ものはある
事実5: この集合体は読み易い
事実6: もしも何かは告白出来るとしたらそれは読み易い
事実7: もし何かは手広くないならそれは告白出来るし私らしい
事実8: 「「この額斑は入り過ぎる一方で如何わしくない」ということは成り立たない」ということは成り立つならそれは如何わしい
事実9: この集合体は上がり難い
事実10: この集合体は想像し難い
事実11: なにがしかの物は抉る
事実12: この集合体は迷い易い
事実13: この額斑は発症し易い
事実14: 面目無い物はある
事実15: 何かは受戒する
事実16: この集合体は伝え合う

仮説: 「「告白出来る」物はある」ということは成り立たない
1. 事実2から、仮説が否定される

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