このソンテウは油井だ
fact1: もし仮にこの肺循環が重たくないとするとその植林プロジェクトは描写叙述でそれは毛深い fact2: もしもその植林プロジェクトが毛深いとすればこの襞飾りは毛深い fact3: この生活範囲が省略すれば毛深くない fact4: この襞飾りが信じ難いということはないならそれは会議派組織であるかあるいは描写叙述であるかどちらもだ fact5: 会議派組織は信じ難いということはないしその上毛深くない fact6: この生活範囲は省略しない fact7: 信じ難いということはないものが毛深くないとすればそれは再確認しない fact8: 「この生活範囲が省略するしその上再確認する」ということは成り立つということはない fact9: この襞飾りが描写叙述ならばこのソンテウは油井だ fact10: もし仮に「その植林プロジェクトは描写叙述だ」ということは成り立つならこのソンテウは会議派組織だ fact11: 仮になにがしかのものが省略するとすればそれは毛深いということはない fact12: もしこの襞飾りが信じ難くてそれに毛深いとしたらこのソンテウは油井でない fact13: 仮に「なんらかのものは省略しない一方で再確認する」ということは成り立たないなら毛深いということはない fact14: その植林プロジェクトは省略する fact15: もしもこの生活範囲が省略するし再確認するならこの襞飾りは信じ難くない fact16: その植林プロジェクトは重たい fact17: 仮にその植林プロジェクトが重たいならこの生活範囲は毛深い fact18: 「このソンテウは省略する」ということは事実だ fact19: 仮にこの生活範囲が省略しないけれど再確認するとしたらこの襞飾りは信じ難くない fact20: このソンテウは再確認しない fact21: もし仮にこの襞飾りが会議派組織ならこのソンテウは油井である
fact13 -> int1: もしも「この生活範囲は省略しないが再確認する」ということは間違っているとすれば「それは毛深くない」ということは成り立つ; void -> assump1: 以下のように仮定する。「この生活範囲は省略しないけど再確認する」ということは成り立たない; int1 & assump1 -> int2: この生活範囲は毛深くない; fact16 & fact17 -> int3: この生活範囲は毛深い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この生活範囲は省略しないが再確認する; int5 & fact19 -> int6: この襞飾りは信じ難くない; int6 & fact4 -> int7: この襞飾りは会議派組織であるかまたはそれは描写叙述であるかまたは両方だ; int7 & fact21 & fact9 -> hypothesis;
このソンテウは油井でない
$facts$ = fact1: もし仮にこの肺循環が重たくないとするとその植林プロジェクトは描写叙述でそれは毛深い fact2: もしもその植林プロジェクトが毛深いとすればこの襞飾りは毛深い fact3: この生活範囲が省略すれば毛深くない fact4: この襞飾りが信じ難いということはないならそれは会議派組織であるかあるいは描写叙述であるかどちらもだ fact5: 会議派組織は信じ難いということはないしその上毛深くない fact6: この生活範囲は省略しない fact7: 信じ難いということはないものが毛深くないとすればそれは再確認しない fact8: 「この生活範囲が省略するしその上再確認する」ということは成り立つということはない fact9: この襞飾りが描写叙述ならばこのソンテウは油井だ fact10: もし仮に「その植林プロジェクトは描写叙述だ」ということは成り立つならこのソンテウは会議派組織だ fact11: 仮になにがしかのものが省略するとすればそれは毛深いということはない fact12: もしこの襞飾りが信じ難くてそれに毛深いとしたらこのソンテウは油井でない fact13: 仮に「なんらかのものは省略しない一方で再確認する」ということは成り立たないなら毛深いということはない fact14: その植林プロジェクトは省略する fact15: もしもこの生活範囲が省略するし再確認するならこの襞飾りは信じ難くない fact16: その植林プロジェクトは重たい fact17: 仮にその植林プロジェクトが重たいならこの生活範囲は毛深い fact18: 「このソンテウは省略する」ということは事実だ fact19: 仮にこの生活範囲が省略しないけれど再確認するとしたらこの襞飾りは信じ難くない fact20: このソンテウは再確認しない fact21: もし仮にこの襞飾りが会議派組織ならこのソンテウは油井である ; $hypothesis$ = このソンテウは油井だ ; $proof$ = 
fact13 -> int1: もしも「この生活範囲は省略しないが再確認する」ということは間違っているとすれば「それは毛深くない」ということは成り立つ; void -> assump1: 以下のように仮定する。「この生活範囲は省略しないけど再確認する」ということは成り立たない; int1 & assump1 -> int2: この生活範囲は毛深くない; fact16 & fact17 -> int3: この生活範囲は毛深い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この生活範囲は省略しないが再確認する; int5 & fact19 -> int6: この襞飾りは信じ難くない; int6 & fact4 -> int7: この襞飾りは会議派組織であるかまたはそれは描写叙述であるかまたは両方だ; int7 & fact21 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの肺循環が重たくないとするとその植林プロジェクトは描写叙述でそれは毛深い
事実2: もしもその植林プロジェクトが毛深いとすればこの襞飾りは毛深い
事実3: この生活範囲が省略すれば毛深くない
事実4: この襞飾りが信じ難いということはないならそれは会議派組織であるかあるいは描写叙述であるかどちらもだ
事実5: 会議派組織は信じ難いということはないしその上毛深くない
事実6: この生活範囲は省略しない
事実7: 信じ難いということはないものが毛深くないとすればそれは再確認しない
事実8: 「この生活範囲が省略するしその上再確認する」ということは成り立つということはない
事実9: この襞飾りが描写叙述ならばこのソンテウは油井だ
事実10: もし仮に「その植林プロジェクトは描写叙述だ」ということは成り立つならこのソンテウは会議派組織だ
事実11: 仮になにがしかのものが省略するとすればそれは毛深いということはない
事実12: もしこの襞飾りが信じ難くてそれに毛深いとしたらこのソンテウは油井でない
事実13: 仮に「なんらかのものは省略しない一方で再確認する」ということは成り立たないなら毛深いということはない
事実14: その植林プロジェクトは省略する
事実15: もしもこの生活範囲が省略するし再確認するならこの襞飾りは信じ難くない
事実16: その植林プロジェクトは重たい
事実17: 仮にその植林プロジェクトが重たいならこの生活範囲は毛深い
事実18: 「このソンテウは省略する」ということは事実だ
事実19: 仮にこの生活範囲が省略しないけれど再確認するとしたらこの襞飾りは信じ難くない
事実20: このソンテウは再確認しない
事実21: もし仮にこの襞飾りが会議派組織ならこのソンテウは油井である

仮説: このソンテウは油井だ
1. 事実13から、推論1: "もしも「この生活範囲は省略しないが再確認する」ということは間違っているとすれば「それは毛深くない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「この生活範囲は省略しないけど再確認する」ということは成り立たない
3. 推論1と仮定1から、推論2: "この生活範囲は毛深くない"が導かれる
4. 事実16と事実17から、推論3: "この生活範囲は毛深い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この生活範囲は省略しないが再確認する"が導かれる
7. 推論5と事実19から、推論6: "この襞飾りは信じ難くない"が導かれる
8. 推論6と事実4から、推論7: "この襞飾りは会議派組織であるかまたはそれは描写叙述であるかまたは両方だ"が導かれる
9. 推論7と事実21と事実9から、仮説が導かれる

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