「「この大・中会社は自己負担でかつそれは勧誘する」ということは成り立たない」ということは真実だ
fact1: この大・中会社は勧誘する fact2: もし仮に「けばけばしくない」物があるとすればこの財務書類は勧誘するしおまけに自己負担である fact3: 「詮無くない」ものはある fact4: 仮にあのシルクエイドはけばけばしくないならば「「この大・中会社は自己負担であるしかつ勧誘する」ということは成り立つ」ということは確かでない fact5: その洋梨は自己負担でない fact6: 「とあるものはけばけばしいということはない」ということは正しいならこの財務書類は自己負担でしかも勧誘する fact7: そのヴィーナスフォートは糾わない fact8: この岳参りがけばけばしくないがしかし京都らしいとすればあのシルクエイドはけばけばしくない fact9: もし仮に「けばけばしくない」物があるとすればこの大・中会社は勧誘する fact10: もしも何かは勧誘しないとするとこの財務書類は自己負担でその上それはけばけばしい fact11: この財務書類はけばけばしくない fact12: この大・中会社は清算しない fact13: この青瓦台はけばけばしいし格好良い fact14: この財務書類は御相談下さるしそれにそれは自己負担だ fact15: 「けばけばしくない」物があればこの大・中会社は自己負担で勧誘する fact16: 「けばけばしい」ものはある fact17: 仮になにがしかの物が糾わないならばそれは忌ま忌ましいし更に貸しだ fact18: 男らしいものはけばけばしいということはないが京都らしい
fact11 -> int1: 「けばけばしくない」ものはある; int1 & fact15 -> hypothesis;
「この大・中会社は自己負担であるし勧誘する」ということは誤りである
fact19 -> int2: もしもこの岳参りが男らしいならけばけばしくないけど京都らしい; fact21 -> int3: 「そのヴィーナスフォートは糾わない」ということは事実であるなら忌ま忌ましいし貸しである; int3 & fact23 -> int4: そのヴィーナスフォートは忌ま忌ましいし貸しだ; int4 -> int5: そのヴィーナスフォートは忌ま忌ましい; int5 -> int6: 「忌ま忌ましい」ものはある;
$facts$ = fact1: この大・中会社は勧誘する fact2: もし仮に「けばけばしくない」物があるとすればこの財務書類は勧誘するしおまけに自己負担である fact3: 「詮無くない」ものはある fact4: 仮にあのシルクエイドはけばけばしくないならば「「この大・中会社は自己負担であるしかつ勧誘する」ということは成り立つ」ということは確かでない fact5: その洋梨は自己負担でない fact6: 「とあるものはけばけばしいということはない」ということは正しいならこの財務書類は自己負担でしかも勧誘する fact7: そのヴィーナスフォートは糾わない fact8: この岳参りがけばけばしくないがしかし京都らしいとすればあのシルクエイドはけばけばしくない fact9: もし仮に「けばけばしくない」物があるとすればこの大・中会社は勧誘する fact10: もしも何かは勧誘しないとするとこの財務書類は自己負担でその上それはけばけばしい fact11: この財務書類はけばけばしくない fact12: この大・中会社は清算しない fact13: この青瓦台はけばけばしいし格好良い fact14: この財務書類は御相談下さるしそれにそれは自己負担だ fact15: 「けばけばしくない」物があればこの大・中会社は自己負担で勧誘する fact16: 「けばけばしい」ものはある fact17: 仮になにがしかの物が糾わないならばそれは忌ま忌ましいし更に貸しだ fact18: 男らしいものはけばけばしいということはないが京都らしい ; $hypothesis$ = 「「この大・中会社は自己負担でかつそれは勧誘する」ということは成り立たない」ということは真実だ ; $proof$ = 
fact11 -> int1: 「けばけばしくない」ものはある; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: この大・中会社は勧誘する
事実2: もし仮に「けばけばしくない」物があるとすればこの財務書類は勧誘するしおまけに自己負担である
事実3: 「詮無くない」ものはある
事実4: 仮にあのシルクエイドはけばけばしくないならば「「この大・中会社は自己負担であるしかつ勧誘する」ということは成り立つ」ということは確かでない
事実5: その洋梨は自己負担でない
事実6: 「とあるものはけばけばしいということはない」ということは正しいならこの財務書類は自己負担でしかも勧誘する
事実7: そのヴィーナスフォートは糾わない
事実8: この岳参りがけばけばしくないがしかし京都らしいとすればあのシルクエイドはけばけばしくない
事実9: もし仮に「けばけばしくない」物があるとすればこの大・中会社は勧誘する
事実10: もしも何かは勧誘しないとするとこの財務書類は自己負担でその上それはけばけばしい
事実11: この財務書類はけばけばしくない
事実12: この大・中会社は清算しない
事実13: この青瓦台はけばけばしいし格好良い
事実14: この財務書類は御相談下さるしそれにそれは自己負担だ
事実15: 「けばけばしくない」物があればこの大・中会社は自己負担で勧誘する
事実16: 「けばけばしい」ものはある
事実17: 仮になにがしかの物が糾わないならばそれは忌ま忌ましいし更に貸しだ
事実18: 男らしいものはけばけばしいということはないが京都らしい

仮説: 「「この大・中会社は自己負担でかつそれは勧誘する」ということは成り立たない」ということは真実だ
1. 事実11から、推論1: "「けばけばしくない」ものはある"が導かれる
2. 推論1と事実15から、仮説が否定される

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