もし仮にそのグリコサミノグリカンが三民主義学説ならこの法定受託事務以外は纏まる
fact1: この教会学校は纏まる fact2: もし仮にそのグリコサミノグリカンが理解し難いとしたらこの法定受託事務以外は纏まる fact3: この競業関係は三民主義学説である fact4: もしもこの法定受託事務以外が理解し難いならばそのグリコサミノグリカンは纏まる fact5: そのグリコサミノグリカンが三民主義学説だとしたら理解し難い fact6: この製造能力は理解し難い fact7: 仮に「この法定受託事務以外は纏まる」ということは本当だとすればそれは三民主義学説である fact8: この法定受託事務以外は三民主義学説である fact9: もし仮にそのグリコサミノグリカンが纏まるなら三民主義学説である fact10: もしそのグリコサミノグリカンが纏まるとしたらこの法定受託事務以外は理解し難い fact11: この法定受託事務以外は食卓テーブルだ
void -> assump1: 以下のように仮定する。そのグリコサミノグリカンは三民主義学説だ; fact5 & assump1 -> int1: そのグリコサミノグリカンは理解し難い; int1 & fact2 -> int2: この法定受託事務以外は纏まる; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この教会学校は纏まる fact2: もし仮にそのグリコサミノグリカンが理解し難いとしたらこの法定受託事務以外は纏まる fact3: この競業関係は三民主義学説である fact4: もしもこの法定受託事務以外が理解し難いならばそのグリコサミノグリカンは纏まる fact5: そのグリコサミノグリカンが三民主義学説だとしたら理解し難い fact6: この製造能力は理解し難い fact7: 仮に「この法定受託事務以外は纏まる」ということは本当だとすればそれは三民主義学説である fact8: この法定受託事務以外は三民主義学説である fact9: もし仮にそのグリコサミノグリカンが纏まるなら三民主義学説である fact10: もしそのグリコサミノグリカンが纏まるとしたらこの法定受託事務以外は理解し難い fact11: この法定受託事務以外は食卓テーブルだ ; $hypothesis$ = もし仮にそのグリコサミノグリカンが三民主義学説ならこの法定受託事務以外は纏まる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのグリコサミノグリカンは三民主義学説だ; fact5 & assump1 -> int1: そのグリコサミノグリカンは理解し難い; int1 & fact2 -> int2: この法定受託事務以外は纏まる; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この教会学校は纏まる
事実2: もし仮にそのグリコサミノグリカンが理解し難いとしたらこの法定受託事務以外は纏まる
事実3: この競業関係は三民主義学説である
事実4: もしもこの法定受託事務以外が理解し難いならばそのグリコサミノグリカンは纏まる
事実5: そのグリコサミノグリカンが三民主義学説だとしたら理解し難い
事実6: この製造能力は理解し難い
事実7: 仮に「この法定受託事務以外は纏まる」ということは本当だとすればそれは三民主義学説である
事実8: この法定受託事務以外は三民主義学説である
事実9: もし仮にそのグリコサミノグリカンが纏まるなら三民主義学説である
事実10: もしそのグリコサミノグリカンが纏まるとしたらこの法定受託事務以外は理解し難い
事実11: この法定受託事務以外は食卓テーブルだ

仮説: もし仮にそのグリコサミノグリカンが三民主義学説ならこの法定受託事務以外は纏まる
1. 仮定1: 以下のように仮定する。そのグリコサミノグリカンは三民主義学説だ
2. 事実5と仮定1から、推論1: "そのグリコサミノグリカンは理解し難い"が導かれる
3. 推論1と事実2から、推論2: "この法定受託事務以外は纏まる"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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