その波頭は浮き易い
fact1: 仮に「「四月頃だということはない一方で赤し」ということは嘘である」物があればその利用者主体はオートマティックだ fact2: もし仮にその利用者主体がオートマティックであるが設備償却費でないならばその波頭は賦存状況である fact3: 「そのクリッカーは四月頃であるということはないけど赤し」ということは嘘である fact4: その利用者主体は設備償却費でない fact5: 「賦存状況は浮き易い」ということは成り立つ
fact3 -> int1: 「「四月頃でなくてかつ赤し」ということは事実と異なる」ものはある; int1 & fact1 -> int2: その利用者主体はオートマティックである; int2 & fact4 -> int3: その利用者主体はオートマティックだけれど設備償却費だということはない; int3 & fact2 -> int4: その波頭は賦存状況だ; fact5 -> int5: もし「その波頭は賦存状況である」ということは成り立つとしたらそれは浮き易い; int4 & int5 -> hypothesis;
$facts$ = fact1: 仮に「「四月頃だということはない一方で赤し」ということは嘘である」物があればその利用者主体はオートマティックだ fact2: もし仮にその利用者主体がオートマティックであるが設備償却費でないならばその波頭は賦存状況である fact3: 「そのクリッカーは四月頃であるということはないけど赤し」ということは嘘である fact4: その利用者主体は設備償却費でない fact5: 「賦存状況は浮き易い」ということは成り立つ ; $hypothesis$ = その波頭は浮き易い ; $proof$ = 
fact3 -> int1: 「「四月頃でなくてかつ赤し」ということは事実と異なる」ものはある; int1 & fact1 -> int2: その利用者主体はオートマティックである; int2 & fact4 -> int3: その利用者主体はオートマティックだけれど設備償却費だということはない; int3 & fact2 -> int4: その波頭は賦存状況だ; fact5 -> int5: もし「その波頭は賦存状況である」ということは成り立つとしたらそれは浮き易い; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「「四月頃だということはない一方で赤し」ということは嘘である」物があればその利用者主体はオートマティックだ
事実2: もし仮にその利用者主体がオートマティックであるが設備償却費でないならばその波頭は賦存状況である
事実3: 「そのクリッカーは四月頃であるということはないけど赤し」ということは嘘である
事実4: その利用者主体は設備償却費でない
事実5: 「賦存状況は浮き易い」ということは成り立つ

仮説: その波頭は浮き易い
1. 事実3から、推論1: "「「四月頃でなくてかつ赤し」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実1から、推論2: "その利用者主体はオートマティックである"が導かれる
3. 推論2と事実4から、推論3: "その利用者主体はオートマティックだけれど設備償却費だということはない"が導かれる
4. 推論3と事実2から、推論4: "その波頭は賦存状況だ"が導かれる
5. 事実5から、推論5: "もし「その波頭は賦存状況である」ということは成り立つとしたらそれは浮き易い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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