その自社内は膜厚であるし行き易い
fact1: 「この御箙は攣るし加えて賢い」ということは事実と異なる fact2: もしなんらかの物が苛めれば推挙するしかつそれは航空史でない fact3: もし仮にこの御箙は手出ししないなら「苛めるということはないが航空史だ」ということは成り立たない fact4: もしも「この御箙は開き易くなくて手出ししない」ということは成り立つということはないならそれは推挙する fact5: 「その術衣は攣る」ということは真実だとすればそれは賢い fact6: 仮にこの御箙が苛めるとするとその自社内は膜厚である fact7: 仮に「この御箙は苛めないがしかし航空史だ」ということは成り立たないとするとその自社内は膜厚である fact8: 「この御箙が苛めるしその上それは航空史である」ということは成り立たない fact9: 仮に「あのニュース記事は航空史でない」ということは本当ならこの御箙は航空史でない fact10: もしその術衣が賢いとすると町工場でないしその上カリベ族でない fact11: 「この御箙は開き易いということはないがしかし手出しする」ということは嘘である fact12: 「その自社内はカリベ族である一方で町工場でない」ということは誤りだ fact13: もしも「その術衣は加入出来ないし更に片微分しない」ということは成り立つということはないとしたら攣る fact14: もし「この御箙は推挙するし膜厚である」ということは間違いであるとすればそれは苛めない fact15: 「この御箙は開き易いが手出ししない」ということは成り立たない fact16: もし仮に「その自社内はカリベ族だがしかしそれは町工場でない」ということは間違いだとするとそれは行き易い fact17: 仮にその自社内は町工場であるならそれは行き易い fact18: もし仮に「この御箙は攣るしおまけに賢い」ということは成り立たないならそれは推挙しない fact19: もし仮にこの御箙が攣るないとすれば推挙しない
void -> assump1: 以下のように仮定する。「この御箙は開き易くなくてその上それは手出ししない」ということは間違いである; fact4 & assump1 -> int1: 「この御箙は推挙する」ということは成り立つ; fact18 & fact1 -> int2: この御箙は推挙しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御箙は開き易くなくてかつ手出ししない; int4 -> int5: この御箙は手出ししない; int5 & fact3 -> int6: 「この御箙は苛めないけれどそれは航空史だ」ということは成り立たない; int6 & fact7 -> int7: その自社内は膜厚である; fact16 & fact12 -> int8: 「その自社内は行き易い」ということは成り立つ; int7 & int8 -> hypothesis;
「その自社内は膜厚だし行き易い」ということは事実と異なる
fact20 -> int9: 仮にあのニュース記事が苛めるとすれば推挙するし加えてそれは航空史でない;
$facts$ = fact1: 「この御箙は攣るし加えて賢い」ということは事実と異なる fact2: もしなんらかの物が苛めれば推挙するしかつそれは航空史でない fact3: もし仮にこの御箙は手出ししないなら「苛めるということはないが航空史だ」ということは成り立たない fact4: もしも「この御箙は開き易くなくて手出ししない」ということは成り立つということはないならそれは推挙する fact5: 「その術衣は攣る」ということは真実だとすればそれは賢い fact6: 仮にこの御箙が苛めるとするとその自社内は膜厚である fact7: 仮に「この御箙は苛めないがしかし航空史だ」ということは成り立たないとするとその自社内は膜厚である fact8: 「この御箙が苛めるしその上それは航空史である」ということは成り立たない fact9: 仮に「あのニュース記事は航空史でない」ということは本当ならこの御箙は航空史でない fact10: もしその術衣が賢いとすると町工場でないしその上カリベ族でない fact11: 「この御箙は開き易いということはないがしかし手出しする」ということは嘘である fact12: 「その自社内はカリベ族である一方で町工場でない」ということは誤りだ fact13: もしも「その術衣は加入出来ないし更に片微分しない」ということは成り立つということはないとしたら攣る fact14: もし「この御箙は推挙するし膜厚である」ということは間違いであるとすればそれは苛めない fact15: 「この御箙は開き易いが手出ししない」ということは成り立たない fact16: もし仮に「その自社内はカリベ族だがしかしそれは町工場でない」ということは間違いだとするとそれは行き易い fact17: 仮にその自社内は町工場であるならそれは行き易い fact18: もし仮に「この御箙は攣るしおまけに賢い」ということは成り立たないならそれは推挙しない fact19: もし仮にこの御箙が攣るないとすれば推挙しない ; $hypothesis$ = その自社内は膜厚であるし行き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この御箙は開き易くなくてその上それは手出ししない」ということは間違いである; fact4 & assump1 -> int1: 「この御箙は推挙する」ということは成り立つ; fact18 & fact1 -> int2: この御箙は推挙しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御箙は開き易くなくてかつ手出ししない; int4 -> int5: この御箙は手出ししない; int5 & fact3 -> int6: 「この御箙は苛めないけれどそれは航空史だ」ということは成り立たない; int6 & fact7 -> int7: その自社内は膜厚である; fact16 & fact12 -> int8: 「その自社内は行き易い」ということは成り立つ; int7 & int8 -> hypothesis; __PROVED__
事実1: 「この御箙は攣るし加えて賢い」ということは事実と異なる
事実2: もしなんらかの物が苛めれば推挙するしかつそれは航空史でない
事実3: もし仮にこの御箙は手出ししないなら「苛めるということはないが航空史だ」ということは成り立たない
事実4: もしも「この御箙は開き易くなくて手出ししない」ということは成り立つということはないならそれは推挙する
事実5: 「その術衣は攣る」ということは真実だとすればそれは賢い
事実6: 仮にこの御箙が苛めるとするとその自社内は膜厚である
事実7: 仮に「この御箙は苛めないがしかし航空史だ」ということは成り立たないとするとその自社内は膜厚である
事実8: 「この御箙が苛めるしその上それは航空史である」ということは成り立たない
事実9: 仮に「あのニュース記事は航空史でない」ということは本当ならこの御箙は航空史でない
事実10: もしその術衣が賢いとすると町工場でないしその上カリベ族でない
事実11: 「この御箙は開き易いということはないがしかし手出しする」ということは嘘である
事実12: 「その自社内はカリベ族である一方で町工場でない」ということは誤りだ
事実13: もしも「その術衣は加入出来ないし更に片微分しない」ということは成り立つということはないとしたら攣る
事実14: もし「この御箙は推挙するし膜厚である」ということは間違いであるとすればそれは苛めない
事実15: 「この御箙は開き易いが手出ししない」ということは成り立たない
事実16: もし仮に「その自社内はカリベ族だがしかしそれは町工場でない」ということは間違いだとするとそれは行き易い
事実17: 仮にその自社内は町工場であるならそれは行き易い
事実18: もし仮に「この御箙は攣るしおまけに賢い」ということは成り立たないならそれは推挙しない
事実19: もし仮にこの御箙が攣るないとすれば推挙しない

仮説: その自社内は膜厚であるし行き易い
1. 仮定1: 以下のように仮定する。「この御箙は開き易くなくてその上それは手出ししない」ということは間違いである
2. 事実4と仮定1から、推論1: "「この御箙は推挙する」ということは成り立つ"が導かれる
3. 事実18と事実1から、推論2: "この御箙は推挙しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この御箙は開き易くなくてかつ手出ししない"が導かれる
6. 推論4から、推論5: "この御箙は手出ししない"が導かれる
7. 推論5と事実3から、推論6: "「この御箙は苛めないけれどそれは航空史だ」ということは成り立たない"が導かれる
8. 推論6と事実7から、推論7: "その自社内は膜厚である"が導かれる
9. 事実16と事実12から、推論8: "「その自社内は行き易い」ということは成り立つ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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