このソ支配人はブランドらしくない
fact1: 「このソ支配人は縫製でない一方で津々だ」ということは成り立たない fact2: このドキュメント内が変われるしその上それはブランドらしい fact3: あの有閑階級は津々だ fact4: 仮に「何かは書き取らないけれどブランドらしい」ということは偽だとすれば気まずい fact5: もし仮にあの有閑階級は書き取らないならば「このソ支配人は書き取らない一方で気まずい」ということは正しくない fact6: あのバンドは拭い難い fact7: もし「何かは書き取らないが気まずい」ということは成り立たないとすれば起居する fact8: もしもこのソ支配人が起居するとするとブランドらしい fact9: あのバンドが津々だしさらにそれは四半刻だ fact10: もしあのバンドが四半刻だしその上拭い難いとすればあの有閑階級は書き取らない
fact9 -> int1: あのバンドは四半刻である; int1 & fact6 -> int2: あのバンドは四半刻だし拭い難い; int2 & fact10 -> int3: あの有閑階級は書き取らない; int3 & fact5 -> int4: 「このソ支配人は書き取らない一方で気まずい」ということは事実と異なる; fact7 -> int5: 仮に「このソ支配人は書き取らないがしかし気まずい」ということは間違っているとすればそれは起居する; int4 & int5 -> int6: このソ支配人は起居する; int6 & fact8 -> hypothesis;
$facts$ = fact1: 「このソ支配人は縫製でない一方で津々だ」ということは成り立たない fact2: このドキュメント内が変われるしその上それはブランドらしい fact3: あの有閑階級は津々だ fact4: 仮に「何かは書き取らないけれどブランドらしい」ということは偽だとすれば気まずい fact5: もし仮にあの有閑階級は書き取らないならば「このソ支配人は書き取らない一方で気まずい」ということは正しくない fact6: あのバンドは拭い難い fact7: もし「何かは書き取らないが気まずい」ということは成り立たないとすれば起居する fact8: もしもこのソ支配人が起居するとするとブランドらしい fact9: あのバンドが津々だしさらにそれは四半刻だ fact10: もしあのバンドが四半刻だしその上拭い難いとすればあの有閑階級は書き取らない ; $hypothesis$ = このソ支配人はブランドらしくない ; $proof$ = 
fact9 -> int1: あのバンドは四半刻である; int1 & fact6 -> int2: あのバンドは四半刻だし拭い難い; int2 & fact10 -> int3: あの有閑階級は書き取らない; int3 & fact5 -> int4: 「このソ支配人は書き取らない一方で気まずい」ということは事実と異なる; fact7 -> int5: 仮に「このソ支配人は書き取らないがしかし気まずい」ということは間違っているとすればそれは起居する; int4 & int5 -> int6: このソ支配人は起居する; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: 「このソ支配人は縫製でない一方で津々だ」ということは成り立たない
事実2: このドキュメント内が変われるしその上それはブランドらしい
事実3: あの有閑階級は津々だ
事実4: 仮に「何かは書き取らないけれどブランドらしい」ということは偽だとすれば気まずい
事実5: もし仮にあの有閑階級は書き取らないならば「このソ支配人は書き取らない一方で気まずい」ということは正しくない
事実6: あのバンドは拭い難い
事実7: もし「何かは書き取らないが気まずい」ということは成り立たないとすれば起居する
事実8: もしもこのソ支配人が起居するとするとブランドらしい
事実9: あのバンドが津々だしさらにそれは四半刻だ
事実10: もしあのバンドが四半刻だしその上拭い難いとすればあの有閑階級は書き取らない

仮説: このソ支配人はブランドらしくない
1. 事実9から、推論1: "あのバンドは四半刻である"が導かれる
2. 推論1と事実6から、推論2: "あのバンドは四半刻だし拭い難い"が導かれる
3. 推論2と事実10から、推論3: "あの有閑階級は書き取らない"が導かれる
4. 推論3と事実5から、推論4: "「このソ支配人は書き取らない一方で気まずい」ということは事実と異なる"が導かれる
5. 事実7から、推論5: "仮に「このソ支配人は書き取らないがしかし気まずい」ということは間違っているとすればそれは起居する"が導かれる
6. 推論4と推論5から、推論6: "このソ支配人は起居する"が導かれる
7. 推論6と事実8から、仮説が否定される

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