この遊び人達は姉らしくない
fact1: もし仮にこの設立会社が預かれるとすればこの遊び人達は姉らしい fact2: もし仮にある物は行具でないとしたら「その水槽は行具だし悲しい」ということは確かでない fact3: もし仮に「「大人ししおまけに黄色っぽいということはない」ということは真実であるということはない」ものがあるとすればあの艶は預かれない fact4: 「この論究は姉らしくない」ということは誤っている fact5: 全ての物は制止しない fact6: この設立会社は好走例だ fact7: もしこの設立会社が好走例だとすれば長衣である fact8: もし「何らかのものは髭剃りでないがそれは行具である」ということは偽ならばそれは行具でない fact9: ある物が長衣だとしたらそれは預かれる fact10: もし仮に「「「長衣であるかあるいは好走例であるかまたはどちらもである」ということは本当である」ということは成り立たない」物があるならこの遊び人達は姉らしくない fact11: もし仮にあるものは制止しないとすれば「それが見窄らしくないしさらにそれは保存法だ」ということは成り立たない fact12: 「この遊び人達は預かれる」ということは確かである fact13: もし「この設立会社は結い上げる」ということは間違いでないなら「預かれる」ということは真実だ fact14: この設立会社は図り難い fact15: 仮にこの遊び人達が姉らしいとすればそれは預かれる fact16: 仮に「何らかのものは行具であるしおまけにそれは悲しい」ということは誤っているとすればそれは悲しくない fact17: 仮に「「見窄らしくないし保存法である」ということは偽である」ものがあればその不調和は否定し難くない fact18: なにがしかのものは否定し難くないならば「それは髭剃りでないがしかし行具である」ということは誤っている fact19: その水槽は悲しくないなら「その丸山ワクチンは大人しがしかし黄色っぽいということはない」ということは成り立つということはない
fact7 & fact6 -> int1: この設立会社は長衣だ; fact9 -> int2: この設立会社は長衣であるならそれは預かれる; int1 & int2 -> int3: この設立会社は預かれる; int3 & fact1 -> hypothesis;
この遊び人達は姉らしくない
fact20 -> int4: 仮にそのタイトルバーは制止しないなら「それは見窄らしくないがしかし保存法である」ということは成り立たない; fact25 -> int5: そのタイトルバーは制止しない; int4 & int5 -> int6: 「そのタイトルバーは見窄らしくないが保存法だ」ということは成り立たない; int6 -> int7: それは見窄らしいということはないしそれにそれは保存法であるという物はない; int7 -> int8: 「この定款所定は見窄らしくないがしかし保存法だ」ということは嘘だ; int8 -> int9: 「「見窄らしいということはないけど保存法だ」ということは間違っている」ものはある; fact24 & int9 -> int10: その不調和は否定し難いということはない; fact29 -> int11: もしその不調和は否定し難くないとすれば「それは髭剃りでない一方で行具だ」ということは真実でない; int10 & int11 -> int12: 「その不調和は髭剃りでないがしかし行具だ」ということは誤っている; fact27 -> int13: もしも「その不調和は髭剃りでない一方でそれは行具である」ということは成り立たないなら「それは行具でない」ということは間違っていない; int12 & int13 -> int14: その不調和は行具でない; int14 -> int15: 「行具でない」物はある; int15 & fact22 -> int16: 「その水槽は行具だし悲しい」ということは誤っている; fact23 -> int17: もしも「その水槽は行具で悲しい」ということは偽であるとしたらそれは悲しくない; int16 & int17 -> int18: その水槽は悲しいということはない; fact28 & int18 -> int19: 「「その丸山ワクチンは大人し一方で黄色っぽいということはない」ということは偽だ」ということは成り立つ; int19 -> int20: 「「大人しし黄色っぽくない」ということは成り立つということはない」ものはある; int20 & fact21 -> int21: この艶は預かれるということはない;
$facts$ = fact1: もし仮にこの設立会社が預かれるとすればこの遊び人達は姉らしい fact2: もし仮にある物は行具でないとしたら「その水槽は行具だし悲しい」ということは確かでない fact3: もし仮に「「大人ししおまけに黄色っぽいということはない」ということは真実であるということはない」ものがあるとすればあの艶は預かれない fact4: 「この論究は姉らしくない」ということは誤っている fact5: 全ての物は制止しない fact6: この設立会社は好走例だ fact7: もしこの設立会社が好走例だとすれば長衣である fact8: もし「何らかのものは髭剃りでないがそれは行具である」ということは偽ならばそれは行具でない fact9: ある物が長衣だとしたらそれは預かれる fact10: もし仮に「「「長衣であるかあるいは好走例であるかまたはどちらもである」ということは本当である」ということは成り立たない」物があるならこの遊び人達は姉らしくない fact11: もし仮にあるものは制止しないとすれば「それが見窄らしくないしさらにそれは保存法だ」ということは成り立たない fact12: 「この遊び人達は預かれる」ということは確かである fact13: もし「この設立会社は結い上げる」ということは間違いでないなら「預かれる」ということは真実だ fact14: この設立会社は図り難い fact15: 仮にこの遊び人達が姉らしいとすればそれは預かれる fact16: 仮に「何らかのものは行具であるしおまけにそれは悲しい」ということは誤っているとすればそれは悲しくない fact17: 仮に「「見窄らしくないし保存法である」ということは偽である」ものがあればその不調和は否定し難くない fact18: なにがしかのものは否定し難くないならば「それは髭剃りでないがしかし行具である」ということは誤っている fact19: その水槽は悲しくないなら「その丸山ワクチンは大人しがしかし黄色っぽいということはない」ということは成り立つということはない ; $hypothesis$ = この遊び人達は姉らしくない ; $proof$ = 
fact7 & fact6 -> int1: この設立会社は長衣だ; fact9 -> int2: この設立会社は長衣であるならそれは預かれる; int1 & int2 -> int3: この設立会社は預かれる; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの設立会社が預かれるとすればこの遊び人達は姉らしい
事実2: もし仮にある物は行具でないとしたら「その水槽は行具だし悲しい」ということは確かでない
事実3: もし仮に「「大人ししおまけに黄色っぽいということはない」ということは真実であるということはない」ものがあるとすればあの艶は預かれない
事実4: 「この論究は姉らしくない」ということは誤っている
事実5: 全ての物は制止しない
事実6: この設立会社は好走例だ
事実7: もしこの設立会社が好走例だとすれば長衣である
事実8: もし「何らかのものは髭剃りでないがそれは行具である」ということは偽ならばそれは行具でない
事実9: ある物が長衣だとしたらそれは預かれる
事実10: もし仮に「「「長衣であるかあるいは好走例であるかまたはどちらもである」ということは本当である」ということは成り立たない」物があるならこの遊び人達は姉らしくない
事実11: もし仮にあるものは制止しないとすれば「それが見窄らしくないしさらにそれは保存法だ」ということは成り立たない
事実12: 「この遊び人達は預かれる」ということは確かである
事実13: もし「この設立会社は結い上げる」ということは間違いでないなら「預かれる」ということは真実だ
事実14: この設立会社は図り難い
事実15: 仮にこの遊び人達が姉らしいとすればそれは預かれる
事実16: 仮に「何らかのものは行具であるしおまけにそれは悲しい」ということは誤っているとすればそれは悲しくない
事実17: 仮に「「見窄らしくないし保存法である」ということは偽である」ものがあればその不調和は否定し難くない
事実18: なにがしかのものは否定し難くないならば「それは髭剃りでないがしかし行具である」ということは誤っている
事実19: その水槽は悲しくないなら「その丸山ワクチンは大人しがしかし黄色っぽいということはない」ということは成り立つということはない

仮説: この遊び人達は姉らしくない
1. 事実7と事実6から、推論1: "この設立会社は長衣だ"が導かれる
2. 事実9から、推論2: "この設立会社は長衣であるならそれは預かれる"が導かれる
3. 推論1と推論2から、推論3: "この設立会社は預かれる"が導かれる
4. 推論3と事実1から、仮説が否定される

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