あの絶対的記載事項は述部でない
fact1: もしあの不人気が賑やか過ぎるならその学校種別は出所する fact2: あの絶対的記載事項は通学だ fact3: 「その学校種別は区別し易い」ということは事実だ fact4: 仮にあの不人気が大敗北でないならばそれは堕するしさらにそれは区別し易くない fact5: もしあの絶対的記載事項が出所するがしかし賑やか過ぎないとするとあの不人気は述部である fact6: 仮にその学校種別が大敗北であるならばあの絶対的記載事項は述部だ fact7: あの不人気が述部であるがしかし通学でないならあの絶対的記載事項は賑やか過ぎる fact8: あの不人気は出所するが区別し易くないとしたら賑やか過ぎない fact9: その栄養成分は大敗北である fact10: もし何らかのものが賑やか過ぎないとしたらそれは堕するし通学であるということはない fact11: あの不人気は出所するが区別し易くない fact12: もし仮にあの不人気が堕するがそれが通学でないとすればあの学校種別は大敗北だ fact13: 仮にあの絶対的記載事項が萌えないならそれは二分割するがしかし区別し易いということはない fact14: もしもあの絶対的記載事項は賑やか過ぎる一方で述部でないならそれは出所するということはない
fact10 -> int1: もしもあの不人気が賑やか過ぎないとしたら堕するしその上通学であるということはない; fact8 & fact11 -> int2: あの不人気は賑やか過ぎない; int1 & int2 -> int3: あの不人気は堕するが通学でない; int3 & fact12 -> int4: その学校種別は大敗北だ; int4 & fact6 -> hypothesis;
$facts$ = fact1: もしあの不人気が賑やか過ぎるならその学校種別は出所する fact2: あの絶対的記載事項は通学だ fact3: 「その学校種別は区別し易い」ということは事実だ fact4: 仮にあの不人気が大敗北でないならばそれは堕するしさらにそれは区別し易くない fact5: もしあの絶対的記載事項が出所するがしかし賑やか過ぎないとするとあの不人気は述部である fact6: 仮にその学校種別が大敗北であるならばあの絶対的記載事項は述部だ fact7: あの不人気が述部であるがしかし通学でないならあの絶対的記載事項は賑やか過ぎる fact8: あの不人気は出所するが区別し易くないとしたら賑やか過ぎない fact9: その栄養成分は大敗北である fact10: もし何らかのものが賑やか過ぎないとしたらそれは堕するし通学であるということはない fact11: あの不人気は出所するが区別し易くない fact12: もし仮にあの不人気が堕するがそれが通学でないとすればあの学校種別は大敗北だ fact13: 仮にあの絶対的記載事項が萌えないならそれは二分割するがしかし区別し易いということはない fact14: もしもあの絶対的記載事項は賑やか過ぎる一方で述部でないならそれは出所するということはない ; $hypothesis$ = あの絶対的記載事項は述部でない ; $proof$ = 
fact10 -> int1: もしもあの不人気が賑やか過ぎないとしたら堕するしその上通学であるということはない; fact8 & fact11 -> int2: あの不人気は賑やか過ぎない; int1 & int2 -> int3: あの不人気は堕するが通学でない; int3 & fact12 -> int4: その学校種別は大敗北だ; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあの不人気が賑やか過ぎるならその学校種別は出所する
事実2: あの絶対的記載事項は通学だ
事実3: 「その学校種別は区別し易い」ということは事実だ
事実4: 仮にあの不人気が大敗北でないならばそれは堕するしさらにそれは区別し易くない
事実5: もしあの絶対的記載事項が出所するがしかし賑やか過ぎないとするとあの不人気は述部である
事実6: 仮にその学校種別が大敗北であるならばあの絶対的記載事項は述部だ
事実7: あの不人気が述部であるがしかし通学でないならあの絶対的記載事項は賑やか過ぎる
事実8: あの不人気は出所するが区別し易くないとしたら賑やか過ぎない
事実9: その栄養成分は大敗北である
事実10: もし何らかのものが賑やか過ぎないとしたらそれは堕するし通学であるということはない
事実11: あの不人気は出所するが区別し易くない
事実12: もし仮にあの不人気が堕するがそれが通学でないとすればあの学校種別は大敗北だ
事実13: 仮にあの絶対的記載事項が萌えないならそれは二分割するがしかし区別し易いということはない
事実14: もしもあの絶対的記載事項は賑やか過ぎる一方で述部でないならそれは出所するということはない

仮説: あの絶対的記載事項は述部でない
1. 事実10から、推論1: "もしもあの不人気が賑やか過ぎないとしたら堕するしその上通学であるということはない"が導かれる
2. 事実8と事実11から、推論2: "あの不人気は賑やか過ぎない"が導かれる
3. 推論1と推論2から、推論3: "あの不人気は堕するが通学でない"が導かれる
4. 推論3と事実12から、推論4: "その学校種別は大敗北だ"が導かれる
5. 推論4と事実6から、仮説が否定される

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