「そのフリーソフトは浮沈だ」ということは成り立つ
fact1: 「一遍でない」ものはある fact2: 仮にこの薦被りが狭ししその上神格化するならそのフリーソフトは浮沈だということはない fact3: 仮に「一遍でない」物があるとすればこの薦被りは狭し fact4: 「一遍である」物はある fact5: この薦被りは一遍である fact6: あの牽連犯は神格化する fact7: この薦被りは神格化する
fact1 & fact3 -> int1: この薦被りは狭し; int1 & fact7 -> int2: この薦被りは狭しし神格化する; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「一遍でない」ものはある fact2: 仮にこの薦被りが狭ししその上神格化するならそのフリーソフトは浮沈だということはない fact3: 仮に「一遍でない」物があるとすればこの薦被りは狭し fact4: 「一遍である」物はある fact5: この薦被りは一遍である fact6: あの牽連犯は神格化する fact7: この薦被りは神格化する ; $hypothesis$ = 「そのフリーソフトは浮沈だ」ということは成り立つ ; $proof$ = 
fact1 & fact3 -> int1: この薦被りは狭し; int1 & fact7 -> int2: この薦被りは狭しし神格化する; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 「一遍でない」ものはある
事実2: 仮にこの薦被りが狭ししその上神格化するならそのフリーソフトは浮沈だということはない
事実3: 仮に「一遍でない」物があるとすればこの薦被りは狭し
事実4: 「一遍である」物はある
事実5: この薦被りは一遍である
事実6: あの牽連犯は神格化する
事実7: この薦被りは神格化する

仮説: 「そのフリーソフトは浮沈だ」ということは成り立つ
1. 事実1と事実3から、推論1: "この薦被りは狭し"が導かれる
2. 推論1と事実7から、推論2: "この薦被りは狭しし神格化する"が導かれる
3. 推論2と事実2から、仮説が否定される

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