「このタイトル周りは歩き辛いし供養する」ということは間違いである
fact1: 「呼び易いけれどオプションボタンでない」物はある fact2: 「「呼び易いししかもオプションボタンでない」ということは偽である」ものがあるとするとこのタイトル周りは歩き辛い fact3: もし仮に「「供養するけど会社更生法でない」ということは成り立たない」ものがあるとするとあの編隊は改質する fact4: 「「交代制勤務であるしそれに捻り回す」ということは間違いである」ものはある fact5: 「交代制勤務で捻り回す」物はある fact6: もしもなにかは歩き辛くないとすればこのタイトル周りは供養する fact7: 仮になにがしかの物は捻り回さないならば「歩き辛くて更に供養する」ということは事実でない fact8: もし仮に「「オプションボタンである」ということは本当な」ものがあるならばあのタイトル周りは歩き辛い fact9: もし「「交代制勤務であるし捻り回す」ということは事実と異なる」物があるとするとこのタイトル周りは供養する fact10: 仮にあの今次が言い辛くないとすればこの昇給評価は記念で組織志向型である fact11: 「「呼び易い一方でオプションボタンでない」ということは事実と異なる」物はある fact12: もしも「交代制勤務でない」ものがあるとすればあのタイトル周りは供養する
fact11 & fact2 -> int1: このタイトル周りは歩き辛い; fact4 & fact9 -> int2: 「このタイトル周りは供養する」ということは真実だ; int1 & int2 -> hypothesis;
fact11 & fact2 -> int1: {A}{a}; fact4 & fact9 -> int2: {B}{a}; int1 & int2 -> hypothesis;
「このタイトル周りは歩き辛くてまた供養する」ということは事実と異なる
fact14 -> int3: もしもこのタイトル周りは捻り回さないとすると「それは歩き辛いしそれにそれは供養する」ということは成り立たない;
$facts$ = fact1: 「呼び易いけれどオプションボタンでない」物はある fact2: 「「呼び易いししかもオプションボタンでない」ということは偽である」ものがあるとするとこのタイトル周りは歩き辛い fact3: もし仮に「「供養するけど会社更生法でない」ということは成り立たない」ものがあるとするとあの編隊は改質する fact4: 「「交代制勤務であるしそれに捻り回す」ということは間違いである」ものはある fact5: 「交代制勤務で捻り回す」物はある fact6: もしもなにかは歩き辛くないとすればこのタイトル周りは供養する fact7: 仮になにがしかの物は捻り回さないならば「歩き辛くて更に供養する」ということは事実でない fact8: もし仮に「「オプションボタンである」ということは本当な」ものがあるならばあのタイトル周りは歩き辛い fact9: もし「「交代制勤務であるし捻り回す」ということは事実と異なる」物があるとするとこのタイトル周りは供養する fact10: 仮にあの今次が言い辛くないとすればこの昇給評価は記念で組織志向型である fact11: 「「呼び易い一方でオプションボタンでない」ということは事実と異なる」物はある fact12: もしも「交代制勤務でない」ものがあるとすればあのタイトル周りは供養する ; $hypothesis$ = 「このタイトル周りは歩き辛いし供養する」ということは間違いである ; $proof$ = 
fact11 & fact2 -> int1: このタイトル周りは歩き辛い; fact4 & fact9 -> int2: 「このタイトル周りは供養する」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「呼び易いけれどオプションボタンでない」物はある
事実2: 「「呼び易いししかもオプションボタンでない」ということは偽である」ものがあるとするとこのタイトル周りは歩き辛い
事実3: もし仮に「「供養するけど会社更生法でない」ということは成り立たない」ものがあるとするとあの編隊は改質する
事実4: 「「交代制勤務であるしそれに捻り回す」ということは間違いである」ものはある
事実5: 「交代制勤務で捻り回す」物はある
事実6: もしもなにかは歩き辛くないとすればこのタイトル周りは供養する
事実7: 仮になにがしかの物は捻り回さないならば「歩き辛くて更に供養する」ということは事実でない
事実8: もし仮に「「オプションボタンである」ということは本当な」ものがあるならばあのタイトル周りは歩き辛い
事実9: もし「「交代制勤務であるし捻り回す」ということは事実と異なる」物があるとするとこのタイトル周りは供養する
事実10: 仮にあの今次が言い辛くないとすればこの昇給評価は記念で組織志向型である
事実11: 「「呼び易い一方でオプションボタンでない」ということは事実と異なる」物はある
事実12: もしも「交代制勤務でない」ものがあるとすればあのタイトル周りは供養する

仮説: 「このタイトル周りは歩き辛いし供養する」ということは間違いである
1. 事実11と事実2から、推論1: "このタイトル周りは歩き辛い"が導かれる
2. 事実4と事実9から、推論2: "「このタイトル周りは供養する」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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