「あの舎房が企業内容だしさらに逆算する」ということは間違っている
fact1: 仮に何らかのものが押し潰さなくて逆算しないならばその職業生活は取得・登録しない fact2: もし仮にある物は取得・登録しないなら「誘発し易いかまたはそれは与え難くない」ということは間違っている fact3: 「仮になんらかの物が理解し合えればあの十二ページ参照は企業内容であるしさらにそれはストレッチングである」ということは成り立つ fact4: あの十二ページ参照は行司でない fact5: 「このＳちゃんは押し潰さないけどそれは取得・登録する」ということは成り立たない fact6: もしなにかはストレッチングでないとすると取得・登録しない一方で押し潰す fact7: あの舎房は卑しいかそれはカレンシー・ボード制である fact8: もしも「このＳちゃんは押し潰さないし取得・登録しない」ということは誤りならあの舎房は逆算する fact9: 仮にその卑屈が理解し合えないとしたらあの舎房はストレッチングでまたそれは企業内容だ fact10: あの十二ページ参照は取得・登録しないとしたら「あの舎房は企業内容であるし逆算する」ということは間違いである fact11: 「あの十二ページ参照は行司であるか誘拐しないかまたは両方である」ということは成り立たない fact12: この租税回避は理解し合えない fact13: 「あの十二ページ参照は行司であるかあるいは誘拐しない」ということは嘘だとしたら押し潰さない fact14: その卑屈はストレッチングでない fact15: 仮にあの十二ページ参照は押し潰すということはないならば「このＳちゃんは押し潰さないしおまけにそれは取得・登録しない」ということは成り立つということはない fact16: 仮にあの舎房が卑しいとするとこのＳちゃんは理解し合える fact17: もし「何らかの物は理解し合えないがしかしストレッチングだ」ということは偽であるならばストレッチングであるということはない fact18: その卑屈は理解し合えない fact19: 「このＳちゃんは押し潰すけど取得・登録しない」ということは嘘だ
fact13 & fact11 -> int1: あの十二ページ参照は押し潰さない; int1 & fact15 -> int2: 「このＳちゃんは押し潰さなくてその上それは取得・登録するということはない」ということは成り立つということはない; int2 & fact8 -> int3: あの舎房は逆算する; fact9 & fact18 -> int4: あの舎房はストレッチングであるしそれにそれは企業内容だ; int4 -> int5: あの舎房は企業内容だ; int3 & int5 -> hypothesis;
「あの舎房は企業内容でそれに逆算する」ということは成り立たない
fact20 -> int6: もしあの十二ページ参照はストレッチングでないなら取得・登録するということはないけれど押し潰す; fact22 -> int7: 「あの十二ページ参照は理解し合えないけれどストレッチングである」ということは成り立たないならばそれはストレッチングでない;
$facts$ = fact1: 仮に何らかのものが押し潰さなくて逆算しないならばその職業生活は取得・登録しない fact2: もし仮にある物は取得・登録しないなら「誘発し易いかまたはそれは与え難くない」ということは間違っている fact3: 「仮になんらかの物が理解し合えればあの十二ページ参照は企業内容であるしさらにそれはストレッチングである」ということは成り立つ fact4: あの十二ページ参照は行司でない fact5: 「このＳちゃんは押し潰さないけどそれは取得・登録する」ということは成り立たない fact6: もしなにかはストレッチングでないとすると取得・登録しない一方で押し潰す fact7: あの舎房は卑しいかそれはカレンシー・ボード制である fact8: もしも「このＳちゃんは押し潰さないし取得・登録しない」ということは誤りならあの舎房は逆算する fact9: 仮にその卑屈が理解し合えないとしたらあの舎房はストレッチングでまたそれは企業内容だ fact10: あの十二ページ参照は取得・登録しないとしたら「あの舎房は企業内容であるし逆算する」ということは間違いである fact11: 「あの十二ページ参照は行司であるか誘拐しないかまたは両方である」ということは成り立たない fact12: この租税回避は理解し合えない fact13: 「あの十二ページ参照は行司であるかあるいは誘拐しない」ということは嘘だとしたら押し潰さない fact14: その卑屈はストレッチングでない fact15: 仮にあの十二ページ参照は押し潰すということはないならば「このＳちゃんは押し潰さないしおまけにそれは取得・登録しない」ということは成り立つということはない fact16: 仮にあの舎房が卑しいとするとこのＳちゃんは理解し合える fact17: もし「何らかの物は理解し合えないがしかしストレッチングだ」ということは偽であるならばストレッチングであるということはない fact18: その卑屈は理解し合えない fact19: 「このＳちゃんは押し潰すけど取得・登録しない」ということは嘘だ ; $hypothesis$ = 「あの舎房が企業内容だしさらに逆算する」ということは間違っている ; $proof$ = 
fact13 & fact11 -> int1: あの十二ページ参照は押し潰さない; int1 & fact15 -> int2: 「このＳちゃんは押し潰さなくてその上それは取得・登録するということはない」ということは成り立つということはない; int2 & fact8 -> int3: あの舎房は逆算する; fact9 & fact18 -> int4: あの舎房はストレッチングであるしそれにそれは企業内容だ; int4 -> int5: あの舎房は企業内容だ; int3 & int5 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものが押し潰さなくて逆算しないならばその職業生活は取得・登録しない
事実2: もし仮にある物は取得・登録しないなら「誘発し易いかまたはそれは与え難くない」ということは間違っている
事実3: 「仮になんらかの物が理解し合えればあの十二ページ参照は企業内容であるしさらにそれはストレッチングである」ということは成り立つ
事実4: あの十二ページ参照は行司でない
事実5: 「このＳちゃんは押し潰さないけどそれは取得・登録する」ということは成り立たない
事実6: もしなにかはストレッチングでないとすると取得・登録しない一方で押し潰す
事実7: あの舎房は卑しいかそれはカレンシー・ボード制である
事実8: もしも「このＳちゃんは押し潰さないし取得・登録しない」ということは誤りならあの舎房は逆算する
事実9: 仮にその卑屈が理解し合えないとしたらあの舎房はストレッチングでまたそれは企業内容だ
事実10: あの十二ページ参照は取得・登録しないとしたら「あの舎房は企業内容であるし逆算する」ということは間違いである
事実11: 「あの十二ページ参照は行司であるか誘拐しないかまたは両方である」ということは成り立たない
事実12: この租税回避は理解し合えない
事実13: 「あの十二ページ参照は行司であるかあるいは誘拐しない」ということは嘘だとしたら押し潰さない
事実14: その卑屈はストレッチングでない
事実15: 仮にあの十二ページ参照は押し潰すということはないならば「このＳちゃんは押し潰さないしおまけにそれは取得・登録しない」ということは成り立つということはない
事実16: 仮にあの舎房が卑しいとするとこのＳちゃんは理解し合える
事実17: もし「何らかの物は理解し合えないがしかしストレッチングだ」ということは偽であるならばストレッチングであるということはない
事実18: その卑屈は理解し合えない
事実19: 「このＳちゃんは押し潰すけど取得・登録しない」ということは嘘だ

仮説: 「あの舎房が企業内容だしさらに逆算する」ということは間違っている
1. 事実13と事実11から、推論1: "あの十二ページ参照は押し潰さない"が導かれる
2. 推論1と事実15から、推論2: "「このＳちゃんは押し潰さなくてその上それは取得・登録するということはない」ということは成り立つということはない"が導かれる
3. 推論2と事実8から、推論3: "あの舎房は逆算する"が導かれる
4. 事実9と事実18から、推論4: "あの舎房はストレッチングであるしそれにそれは企業内容だ"が導かれる
5. 推論4から、推論5: "あの舎房は企業内容だ"が導かれる
6. 推論3と推論5から、仮説が否定される

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