その言語ゲームはプロジェクト型組織構造だ
fact1: その体力測定が箱式石棺だしまたそれは憎たらしい fact2: その言語ゲームは猿楽師達だ fact3: もしその言語ゲームは審査基準であるということはないならば思い出深くて加えて猿楽師達である fact4: その言語ゲームは下り立たないがしかし猿楽師達である fact5: 仮に何かはべた付き易いということはないとすると鼻音化するし加えてそれは苦り切る fact6: もしもなんらかのものがべた付き易くないならば鼻音化する fact7: その言語ゲームが下り立たないがしかし猿楽師達であるとするとべた付き易くない fact8: もしも何かは苦り切ればプロジェクト型組織構造でない
fact5 -> int1: その言語ゲームがべた付き易いということはないならばそれは鼻音化するし苦り切る; fact4 & fact7 -> int2: その言語ゲームはべた付き易くない; int1 & int2 -> int3: その言語ゲームは鼻音化するし苦り切る; int3 -> int4: その言語ゲームは苦り切る; fact8 -> int5: その言語ゲームは苦り切れば「プロジェクト型組織構造でない」ということは間違いだということはない; int4 & int5 -> hypothesis;
$facts$ = fact1: その体力測定が箱式石棺だしまたそれは憎たらしい fact2: その言語ゲームは猿楽師達だ fact3: もしその言語ゲームは審査基準であるということはないならば思い出深くて加えて猿楽師達である fact4: その言語ゲームは下り立たないがしかし猿楽師達である fact5: 仮に何かはべた付き易いということはないとすると鼻音化するし加えてそれは苦り切る fact6: もしもなんらかのものがべた付き易くないならば鼻音化する fact7: その言語ゲームが下り立たないがしかし猿楽師達であるとするとべた付き易くない fact8: もしも何かは苦り切ればプロジェクト型組織構造でない ; $hypothesis$ = その言語ゲームはプロジェクト型組織構造だ ; $proof$ = 
fact5 -> int1: その言語ゲームがべた付き易いということはないならばそれは鼻音化するし苦り切る; fact4 & fact7 -> int2: その言語ゲームはべた付き易くない; int1 & int2 -> int3: その言語ゲームは鼻音化するし苦り切る; int3 -> int4: その言語ゲームは苦り切る; fact8 -> int5: その言語ゲームは苦り切れば「プロジェクト型組織構造でない」ということは間違いだということはない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その体力測定が箱式石棺だしまたそれは憎たらしい
事実2: その言語ゲームは猿楽師達だ
事実3: もしその言語ゲームは審査基準であるということはないならば思い出深くて加えて猿楽師達である
事実4: その言語ゲームは下り立たないがしかし猿楽師達である
事実5: 仮に何かはべた付き易いということはないとすると鼻音化するし加えてそれは苦り切る
事実6: もしもなんらかのものがべた付き易くないならば鼻音化する
事実7: その言語ゲームが下り立たないがしかし猿楽師達であるとするとべた付き易くない
事実8: もしも何かは苦り切ればプロジェクト型組織構造でない

仮説: その言語ゲームはプロジェクト型組織構造だ
1. 事実5から、推論1: "その言語ゲームがべた付き易いということはないならばそれは鼻音化するし苦り切る"が導かれる
2. 事実4と事実7から、推論2: "その言語ゲームはべた付き易くない"が導かれる
3. 推論1と推論2から、推論3: "その言語ゲームは鼻音化するし苦り切る"が導かれる
4. 推論3から、推論4: "その言語ゲームは苦り切る"が導かれる
5. 事実8から、推論5: "その言語ゲームは苦り切れば「プロジェクト型組織構造でない」ということは間違いだということはない"が導かれる
6. 推論4と推論5から、仮説が否定される

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