あの各艦長は倒れない
fact1: この二〜三ミリメートル厚さは御優しいしその上入浴後である fact2: 「御優しいものは免れ難い」ということは成り立つ fact3: もしも「あの心筋はせこくないが労労じ」ということは間違いであるとするとあの各艦長は倒れるということはない fact4: あの平城京はせこいならば「あの心筋はせこいということはない一方で労労じ」ということは間違いだ fact5: この二〜三ミリメートル厚さが免れ難いとすればあの平城京はせこい
fact1 -> int1: この二〜三ミリメートル厚さは御優しい; fact2 -> int2: 仮にこの二〜三ミリメートル厚さが御優しいならそれは免れ難い; int1 & int2 -> int3: この二〜三ミリメートル厚さは免れ難い; int3 & fact5 -> int4: あの平城京はせこい; int4 & fact4 -> int5: 「「あの心筋はせこくない一方で労労じ」ということは嘘である」ということは事実だ; int5 & fact3 -> hypothesis;
$facts$ = fact1: この二〜三ミリメートル厚さは御優しいしその上入浴後である fact2: 「御優しいものは免れ難い」ということは成り立つ fact3: もしも「あの心筋はせこくないが労労じ」ということは間違いであるとするとあの各艦長は倒れるということはない fact4: あの平城京はせこいならば「あの心筋はせこいということはない一方で労労じ」ということは間違いだ fact5: この二〜三ミリメートル厚さが免れ難いとすればあの平城京はせこい ; $hypothesis$ = あの各艦長は倒れない ; $proof$ = 
fact1 -> int1: この二〜三ミリメートル厚さは御優しい; fact2 -> int2: 仮にこの二〜三ミリメートル厚さが御優しいならそれは免れ難い; int1 & int2 -> int3: この二〜三ミリメートル厚さは免れ難い; int3 & fact5 -> int4: あの平城京はせこい; int4 & fact4 -> int5: 「「あの心筋はせこくない一方で労労じ」ということは嘘である」ということは事実だ; int5 & fact3 -> hypothesis; __PROVED__
事実1: この二〜三ミリメートル厚さは御優しいしその上入浴後である
事実2: 「御優しいものは免れ難い」ということは成り立つ
事実3: もしも「あの心筋はせこくないが労労じ」ということは間違いであるとするとあの各艦長は倒れるということはない
事実4: あの平城京はせこいならば「あの心筋はせこいということはない一方で労労じ」ということは間違いだ
事実5: この二〜三ミリメートル厚さが免れ難いとすればあの平城京はせこい

仮説: あの各艦長は倒れない
1. 事実1から、推論1: "この二〜三ミリメートル厚さは御優しい"が導かれる
2. 事実2から、推論2: "仮にこの二〜三ミリメートル厚さが御優しいならそれは免れ難い"が導かれる
3. 推論1と推論2から、推論3: "この二〜三ミリメートル厚さは免れ難い"が導かれる
4. 推論3と事実5から、推論4: "あの平城京はせこい"が導かれる
5. 推論4と事実4から、推論5: "「「あの心筋はせこくない一方で労労じ」ということは嘘である」ということは事実だ"が導かれる
6. 推論5と事実3から、仮説が導かれる

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