「「そのサポーターは保晃会でなくてかつ悔しくない」ということは成り立たない」ということは事実だ
fact1: もしもあの不静定梁は悔しいとしたら「そのサポーターは保晃会でないし更に悔しくない」ということは嘘である fact2: 仮にあの不静定梁が安定するならそのサポーターは移ろい易い fact3: あの不静定梁は悔しいとしたら「そのサポーターは保晃会だ一方で悔しくない」ということは成り立たない fact4: 仮にあの不静定梁は久しいとすると「そのサポーターは悔しいが久しくない」ということは偽である fact5: 「あのサン・アントニオ・デ・ラ・フロリダ教会は否定出来るがしかし残り続けない」ということは誤っている fact6: 仮になにがしかのものが御越し下さるとすると工業所有権である fact7: もしあの不静定梁は悔しいなら「そのサポーターは保晃会でないがしかし悔しい」ということは成り立たない fact8: 仮に「その日光浴は安定する」ということは事実ならばあの不静定梁は安定する fact9: もしも「この羽根ペンは棚引くけれどネイティブらしくない」ということは事実であるならばあのサポーターはネイティブらしくない fact10: 久しいものは遅い fact11: その諸藩は遅い fact12: もしもその日光浴が総報酬月額相当額であるとすればあの不静定梁は安定する fact13: 「「そのサポーターは保晃会である一方で悔しくない」ということは真実である」ということは成り立たない fact14: もし仮にあの不静定梁は悔しいならば「そのサポーターは遅くないけど悔しい」ということは成り立つということはない fact15: その日光浴は安定するかあるいは総報酬月額相当額だ fact16: 遅い物は悔しい fact17: 移ろい易くてネイティブらしくないものは久しい fact18: あの不静定梁は遅くて久しい fact19: あの不静定梁は見付け難い fact20: 「そのサポーターは保晃会でないけどそれは悔しい」ということは成り立たない
fact18 -> int1: あの不静定梁は遅い; fact16 -> int2: 仮にあの不静定梁が遅いとしたら悔しい; int1 & int2 -> int3: あの不静定梁は悔しい; int3 & fact1 -> hypothesis;
fact18 -> int1: {A}{a}; fact16 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
そのサポーターは保晃会でないしその上悔しくない
fact26 -> int4: 仮にそのサポーターは久しいならば「遅い」ということは事実と異ならない; fact23 -> int5: そのサポーターが移ろい易いけれどネイティブらしくないとすると久しい; fact22 & fact21 & fact24 -> int6: あの不静定梁は安定する; fact27 & int6 -> int7: そのサポーターは移ろい易い;
$facts$ = fact1: もしもあの不静定梁は悔しいとしたら「そのサポーターは保晃会でないし更に悔しくない」ということは嘘である fact2: 仮にあの不静定梁が安定するならそのサポーターは移ろい易い fact3: あの不静定梁は悔しいとしたら「そのサポーターは保晃会だ一方で悔しくない」ということは成り立たない fact4: 仮にあの不静定梁は久しいとすると「そのサポーターは悔しいが久しくない」ということは偽である fact5: 「あのサン・アントニオ・デ・ラ・フロリダ教会は否定出来るがしかし残り続けない」ということは誤っている fact6: 仮になにがしかのものが御越し下さるとすると工業所有権である fact7: もしあの不静定梁は悔しいなら「そのサポーターは保晃会でないがしかし悔しい」ということは成り立たない fact8: 仮に「その日光浴は安定する」ということは事実ならばあの不静定梁は安定する fact9: もしも「この羽根ペンは棚引くけれどネイティブらしくない」ということは事実であるならばあのサポーターはネイティブらしくない fact10: 久しいものは遅い fact11: その諸藩は遅い fact12: もしもその日光浴が総報酬月額相当額であるとすればあの不静定梁は安定する fact13: 「「そのサポーターは保晃会である一方で悔しくない」ということは真実である」ということは成り立たない fact14: もし仮にあの不静定梁は悔しいならば「そのサポーターは遅くないけど悔しい」ということは成り立つということはない fact15: その日光浴は安定するかあるいは総報酬月額相当額だ fact16: 遅い物は悔しい fact17: 移ろい易くてネイティブらしくないものは久しい fact18: あの不静定梁は遅くて久しい fact19: あの不静定梁は見付け難い fact20: 「そのサポーターは保晃会でないけどそれは悔しい」ということは成り立たない ; $hypothesis$ = 「「そのサポーターは保晃会でなくてかつ悔しくない」ということは成り立たない」ということは事実だ ; $proof$ = 
fact18 -> int1: あの不静定梁は遅い; fact16 -> int2: 仮にあの不静定梁が遅いとしたら悔しい; int1 & int2 -> int3: あの不静定梁は悔しい; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしもあの不静定梁は悔しいとしたら「そのサポーターは保晃会でないし更に悔しくない」ということは嘘である
事実2: 仮にあの不静定梁が安定するならそのサポーターは移ろい易い
事実3: あの不静定梁は悔しいとしたら「そのサポーターは保晃会だ一方で悔しくない」ということは成り立たない
事実4: 仮にあの不静定梁は久しいとすると「そのサポーターは悔しいが久しくない」ということは偽である
事実5: 「あのサン・アントニオ・デ・ラ・フロリダ教会は否定出来るがしかし残り続けない」ということは誤っている
事実6: 仮になにがしかのものが御越し下さるとすると工業所有権である
事実7: もしあの不静定梁は悔しいなら「そのサポーターは保晃会でないがしかし悔しい」ということは成り立たない
事実8: 仮に「その日光浴は安定する」ということは事実ならばあの不静定梁は安定する
事実9: もしも「この羽根ペンは棚引くけれどネイティブらしくない」ということは事実であるならばあのサポーターはネイティブらしくない
事実10: 久しいものは遅い
事実11: その諸藩は遅い
事実12: もしもその日光浴が総報酬月額相当額であるとすればあの不静定梁は安定する
事実13: 「「そのサポーターは保晃会である一方で悔しくない」ということは真実である」ということは成り立たない
事実14: もし仮にあの不静定梁は悔しいならば「そのサポーターは遅くないけど悔しい」ということは成り立つということはない
事実15: その日光浴は安定するかあるいは総報酬月額相当額だ
事実16: 遅い物は悔しい
事実17: 移ろい易くてネイティブらしくないものは久しい
事実18: あの不静定梁は遅くて久しい
事実19: あの不静定梁は見付け難い
事実20: 「そのサポーターは保晃会でないけどそれは悔しい」ということは成り立たない

仮説: 「「そのサポーターは保晃会でなくてかつ悔しくない」ということは成り立たない」ということは事実だ
1. 事実18から、推論1: "あの不静定梁は遅い"が導かれる
2. 事実16から、推論2: "仮にあの不静定梁が遅いとしたら悔しい"が導かれる
3. 推論1と推論2から、推論3: "あの不静定梁は悔しい"が導かれる
4. 推論3と事実1から、仮説が導かれる

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