この集団的労使関係法はホワイトリカーだ
fact1: この集団的労使関係法は息切れ症候群である fact2: 「この集団的労使関係法は不定形動詞類でない」ということは確かである fact3: もしなにかは最もらしくないならばそれはホワイトリカーでないしその上ひ弱くない fact4: もしなにかは不定形動詞類でないけれど息切れ症候群ならそれはホワイトリカーだ
fact4 -> int1: この集団的労使関係法が不定形動詞類でない一方で息切れ症候群であるとすればホワイトリカーである; fact2 & fact1 -> int2: この集団的労使関係法は不定形動詞類でないがそれは息切れ症候群である; int1 & int2 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact2 & fact1 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
この集団的労使関係法はホワイトリカーでない
fact5 -> int3: この集団的労使関係法が最もらしくないならそれはホワイトリカーでなくてその上ひ弱くない;
$facts$ = fact1: この集団的労使関係法は息切れ症候群である fact2: 「この集団的労使関係法は不定形動詞類でない」ということは確かである fact3: もしなにかは最もらしくないならばそれはホワイトリカーでないしその上ひ弱くない fact4: もしなにかは不定形動詞類でないけれど息切れ症候群ならそれはホワイトリカーだ ; $hypothesis$ = この集団的労使関係法はホワイトリカーだ ; $proof$ = 
fact4 -> int1: この集団的労使関係法が不定形動詞類でない一方で息切れ症候群であるとすればホワイトリカーである; fact2 & fact1 -> int2: この集団的労使関係法は不定形動詞類でないがそれは息切れ症候群である; int1 & int2 -> hypothesis; __PROVED__
事実1: この集団的労使関係法は息切れ症候群である
事実2: 「この集団的労使関係法は不定形動詞類でない」ということは確かである
事実3: もしなにかは最もらしくないならばそれはホワイトリカーでないしその上ひ弱くない
事実4: もしなにかは不定形動詞類でないけれど息切れ症候群ならそれはホワイトリカーだ

仮説: この集団的労使関係法はホワイトリカーだ
1. 事実4から、推論1: "この集団的労使関係法が不定形動詞類でない一方で息切れ症候群であるとすればホワイトリカーである"が導かれる
2. 事実2と事実1から、推論2: "この集団的労使関係法は不定形動詞類でないがそれは息切れ症候群である"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。