もしもこの波形整形回路が小役人ならばその桃源社は厚いということはないしそれにローマンカモミールでない
fact1: 仮にこのマンクス・ハウスが使い辛いとしたらこの波形整形回路は移行し易い fact2: この波形整形回路は小役人だがしかし白状しない fact3: もし「「展望しなくてそれに此れ以外でない」ということは事実でない」物はあるとすれば「このマンクス・ハウスは使い辛い」ということは成り立つ fact4: もし仮にこの波形整形回路がローマンカモミールでないならばあの桃源社は厚くなくてまたローマンカモミールでない fact5: もし仮に移行し易い物が小役人ならばローマンカモミールであるということはない fact6: もしもなにかは展望するとしたらこのマンクス・ハウスは使い辛い fact7: 「「展望しないし此れ以外でない」ということは成り立たない」物はある fact8: なにがしかの物は使い辛いということはないしローマンカモミールであるということはない fact9: もしも「その桃源社は使い辛い」ということは成り立つとすればあのマンクス・ハウスはローマンカモミールだ一方で厚くない fact10: 「「漂着しないけれど悔しい」ということは嘘な」ものはある fact11: その桃源社はローマンカモミールでない
fact7 & fact3 -> int1: このマンクス・ハウスは使い辛い; int1 & fact1 -> int2: この波形整形回路は移行し易い; void -> assump1: 以下のように仮定する。この波形整形回路は小役人だ; int2 & assump1 -> int3: この波形整形回路は移行し易いししかも小役人だ; fact5 -> int4: もし仮にこの波形整形回路は移行し易くて小役人ならローマンカモミールでない; int3 & int4 -> int5: この波形整形回路はローマンカモミールでない; int5 & fact4 -> int6: その桃源社は厚くないしそれにローマンカモミールでない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮にこのマンクス・ハウスが使い辛いとしたらこの波形整形回路は移行し易い fact2: この波形整形回路は小役人だがしかし白状しない fact3: もし「「展望しなくてそれに此れ以外でない」ということは事実でない」物はあるとすれば「このマンクス・ハウスは使い辛い」ということは成り立つ fact4: もし仮にこの波形整形回路がローマンカモミールでないならばあの桃源社は厚くなくてまたローマンカモミールでない fact5: もし仮に移行し易い物が小役人ならばローマンカモミールであるということはない fact6: もしもなにかは展望するとしたらこのマンクス・ハウスは使い辛い fact7: 「「展望しないし此れ以外でない」ということは成り立たない」物はある fact8: なにがしかの物は使い辛いということはないしローマンカモミールであるということはない fact9: もしも「その桃源社は使い辛い」ということは成り立つとすればあのマンクス・ハウスはローマンカモミールだ一方で厚くない fact10: 「「漂着しないけれど悔しい」ということは嘘な」ものはある fact11: その桃源社はローマンカモミールでない ; $hypothesis$ = もしもこの波形整形回路が小役人ならばその桃源社は厚いということはないしそれにローマンカモミールでない ; $proof$ = 
fact7 & fact3 -> int1: このマンクス・ハウスは使い辛い; int1 & fact1 -> int2: この波形整形回路は移行し易い; void -> assump1: 以下のように仮定する。この波形整形回路は小役人だ; int2 & assump1 -> int3: この波形整形回路は移行し易いししかも小役人だ; fact5 -> int4: もし仮にこの波形整形回路は移行し易くて小役人ならローマンカモミールでない; int3 & int4 -> int5: この波形整形回路はローマンカモミールでない; int5 & fact4 -> int6: その桃源社は厚くないしそれにローマンカモミールでない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮にこのマンクス・ハウスが使い辛いとしたらこの波形整形回路は移行し易い
事実2: この波形整形回路は小役人だがしかし白状しない
事実3: もし「「展望しなくてそれに此れ以外でない」ということは事実でない」物はあるとすれば「このマンクス・ハウスは使い辛い」ということは成り立つ
事実4: もし仮にこの波形整形回路がローマンカモミールでないならばあの桃源社は厚くなくてまたローマンカモミールでない
事実5: もし仮に移行し易い物が小役人ならばローマンカモミールであるということはない
事実6: もしもなにかは展望するとしたらこのマンクス・ハウスは使い辛い
事実7: 「「展望しないし此れ以外でない」ということは成り立たない」物はある
事実8: なにがしかの物は使い辛いということはないしローマンカモミールであるということはない
事実9: もしも「その桃源社は使い辛い」ということは成り立つとすればあのマンクス・ハウスはローマンカモミールだ一方で厚くない
事実10: 「「漂着しないけれど悔しい」ということは嘘な」ものはある
事実11: その桃源社はローマンカモミールでない

仮説: もしもこの波形整形回路が小役人ならばその桃源社は厚いということはないしそれにローマンカモミールでない
1. 事実7と事実3から、推論1: "このマンクス・ハウスは使い辛い"が導かれる
2. 推論1と事実1から、推論2: "この波形整形回路は移行し易い"が導かれる
3. 仮定1: 以下のように仮定する。この波形整形回路は小役人だ
4. 推論2と仮定1から、推論3: "この波形整形回路は移行し易いししかも小役人だ"が導かれる
5. 事実5から、推論4: "もし仮にこの波形整形回路は移行し易くて小役人ならローマンカモミールでない"が導かれる
6. 推論3と推論4から、推論5: "この波形整形回路はローマンカモミールでない"が導かれる
7. 推論5と事実4から、推論6: "その桃源社は厚くないしそれにローマンカモミールでない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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