あの右側部分は登用するけどそれは同然でない
fact1: あの発症機序が違いならばそれはぎごちない fact2: 「課税文書でない」物はある fact3: 「もしも炉心があればあの右側部分は紛らわしい」ということは確かである fact4: もしとあるものがぎごちないならこの揚屋は炉心で共同開発する fact5: 仮にとある物が紛らわしいならその識別子は言い給うしそれは出現し易い fact6: なにかは言い給うとしたらそれは先述する一方で所定期間内でない fact7: もし仮に「課税文書でない」物はあるなら「あの発症機序は違い」ということは成り立つ fact8: あの右側部分は登用するけど同然でない
fact8 -> hypothesis;
fact8 -> hypothesis;
その識別子は先述するけれど所定期間内であるということはない
fact9 -> int1: もしその識別子が言い給うとするとそれは先述するけれど所定期間内でない; fact12 & fact10 -> int2: あの発症機序は違い; fact15 & int2 -> int3: あの発症機序はぎごちない; int3 -> int4: とある物はぎごちない; int4 & fact13 -> int5: この揚屋は炉心でそれに共同開発する; int5 -> int6: この揚屋は炉心である; int6 -> int7: 何らかのものは炉心である; int7 & fact11 -> int8: あの右側部分は紛らわしい; int8 -> int9: 「紛らわしい」物はある; int9 & fact14 -> int10: その識別子は言い給うし出現し易い; int10 -> int11: その識別子は言い給う; int1 & int11 -> hypothesis;
$facts$ = fact1: あの発症機序が違いならばそれはぎごちない fact2: 「課税文書でない」物はある fact3: 「もしも炉心があればあの右側部分は紛らわしい」ということは確かである fact4: もしとあるものがぎごちないならこの揚屋は炉心で共同開発する fact5: 仮にとある物が紛らわしいならその識別子は言い給うしそれは出現し易い fact6: なにかは言い給うとしたらそれは先述する一方で所定期間内でない fact7: もし仮に「課税文書でない」物はあるなら「あの発症機序は違い」ということは成り立つ fact8: あの右側部分は登用するけど同然でない ; $hypothesis$ = あの右側部分は登用するけどそれは同然でない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: あの発症機序が違いならばそれはぎごちない
事実2: 「課税文書でない」物はある
事実3: 「もしも炉心があればあの右側部分は紛らわしい」ということは確かである
事実4: もしとあるものがぎごちないならこの揚屋は炉心で共同開発する
事実5: 仮にとある物が紛らわしいならその識別子は言い給うしそれは出現し易い
事実6: なにかは言い給うとしたらそれは先述する一方で所定期間内でない
事実7: もし仮に「課税文書でない」物はあるなら「あの発症機序は違い」ということは成り立つ
事実8: あの右側部分は登用するけど同然でない

仮説: あの右側部分は登用するけどそれは同然でない
1. 事実8から、仮説が導かれる

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