「「回転方法でなくて因り難くない」ということは誤りな」物はある
fact1: 「回転方法であるということはなくて因り難くない」物はある fact2: 仮にその一覧ページが上皇様ならあの雌はファミリーレストランだ fact3: 仮にとある物が機能し始めないとするとあの雌はファミリーレストランでない fact4: この降圧作用はウエーターだということはないとしたら「その羽毛は住宅資金貸し付け契約であるしまたウエーターである」ということは本当でない fact5: 「その羽毛は住宅資金貸し付け契約でまたウエーターだ」ということは確かだということはない fact6: もしその一覧ページは上皇様でないとすれば「この降圧作用はウエーターでない」ということは事実である fact7: もし仮になにかは清しないとすると「回転方法でなくて更にそれは因り難いということはない」ということは嘘である fact8: もしこの降圧作用はウエーターでないとすると「それは回転方法でなくて住宅資金貸し付け契約でない」ということは成り立つということはない fact9: この上巳は因り難くない fact10: 「「機能し始めるししかもファミリーレストランだ」ということは成り立たない」物はある fact11: この降圧作用はウエーターでないとしたら「その羽毛は住宅資金貸し付け契約であるけどウエーターでない」ということは嘘である fact12: 仮に「「機能し始めるし加えてファミリーレストランだ」ということは成り立たない」ものがあるとしたらあの雌はファミリーレストランでない fact13: とある物は清しないとすると「回転方法でないけれど因り難い」ということは本当でない fact14: 何らかのものは清しないとすれば「それは回転方法であるしまたそれは因り難くない」ということは偽である fact15: 仮に「「その羽毛は住宅資金貸し付け契約だけれどそれはウエーターでない」ということは確かだ」ということは成り立たないならばそれは清しない
void -> assump1: 以下のように仮定する。その一覧ページは上皇様だ; fact2 & assump1 -> int1: あの雌はファミリーレストランだ; fact12 & fact10 -> int2: あの雌はファミリーレストランであるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その一覧ページは上皇様でない; int4 & fact6 -> int5: この降圧作用はウエーターでない; int5 & fact11 -> int6: 「その羽毛は住宅資金貸し付け契約だがそれはウエーターであるということはない」ということは成り立たない; int6 & fact15 -> int7: その羽毛は清しない; fact7 -> int8: 仮にその羽毛は清しということはないならば「それは回転方法だということはなくてまた因り難くない」ということは嘘である; int7 & int8 -> int9: 「その羽毛は回転方法でなくてそれに因り難くない」ということは成り立たない; int9 -> hypothesis;
$facts$ = fact1: 「回転方法であるということはなくて因り難くない」物はある fact2: 仮にその一覧ページが上皇様ならあの雌はファミリーレストランだ fact3: 仮にとある物が機能し始めないとするとあの雌はファミリーレストランでない fact4: この降圧作用はウエーターだということはないとしたら「その羽毛は住宅資金貸し付け契約であるしまたウエーターである」ということは本当でない fact5: 「その羽毛は住宅資金貸し付け契約でまたウエーターだ」ということは確かだということはない fact6: もしその一覧ページは上皇様でないとすれば「この降圧作用はウエーターでない」ということは事実である fact7: もし仮になにかは清しないとすると「回転方法でなくて更にそれは因り難いということはない」ということは嘘である fact8: もしこの降圧作用はウエーターでないとすると「それは回転方法でなくて住宅資金貸し付け契約でない」ということは成り立つということはない fact9: この上巳は因り難くない fact10: 「「機能し始めるししかもファミリーレストランだ」ということは成り立たない」物はある fact11: この降圧作用はウエーターでないとしたら「その羽毛は住宅資金貸し付け契約であるけどウエーターでない」ということは嘘である fact12: 仮に「「機能し始めるし加えてファミリーレストランだ」ということは成り立たない」ものがあるとしたらあの雌はファミリーレストランでない fact13: とある物は清しないとすると「回転方法でないけれど因り難い」ということは本当でない fact14: 何らかのものは清しないとすれば「それは回転方法であるしまたそれは因り難くない」ということは偽である fact15: 仮に「「その羽毛は住宅資金貸し付け契約だけれどそれはウエーターでない」ということは確かだ」ということは成り立たないならばそれは清しない ; $hypothesis$ = 「「回転方法でなくて因り難くない」ということは誤りな」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その一覧ページは上皇様だ; fact2 & assump1 -> int1: あの雌はファミリーレストランだ; fact12 & fact10 -> int2: あの雌はファミリーレストランであるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その一覧ページは上皇様でない; int4 & fact6 -> int5: この降圧作用はウエーターでない; int5 & fact11 -> int6: 「その羽毛は住宅資金貸し付け契約だがそれはウエーターであるということはない」ということは成り立たない; int6 & fact15 -> int7: その羽毛は清しない; fact7 -> int8: 仮にその羽毛は清しということはないならば「それは回転方法だということはなくてまた因り難くない」ということは嘘である; int7 & int8 -> int9: 「その羽毛は回転方法でなくてそれに因り難くない」ということは成り立たない; int9 -> hypothesis; __PROVED__
事実1: 「回転方法であるということはなくて因り難くない」物はある
事実2: 仮にその一覧ページが上皇様ならあの雌はファミリーレストランだ
事実3: 仮にとある物が機能し始めないとするとあの雌はファミリーレストランでない
事実4: この降圧作用はウエーターだということはないとしたら「その羽毛は住宅資金貸し付け契約であるしまたウエーターである」ということは本当でない
事実5: 「その羽毛は住宅資金貸し付け契約でまたウエーターだ」ということは確かだということはない
事実6: もしその一覧ページは上皇様でないとすれば「この降圧作用はウエーターでない」ということは事実である
事実7: もし仮になにかは清しないとすると「回転方法でなくて更にそれは因り難いということはない」ということは嘘である
事実8: もしこの降圧作用はウエーターでないとすると「それは回転方法でなくて住宅資金貸し付け契約でない」ということは成り立つということはない
事実9: この上巳は因り難くない
事実10: 「「機能し始めるししかもファミリーレストランだ」ということは成り立たない」物はある
事実11: この降圧作用はウエーターでないとしたら「その羽毛は住宅資金貸し付け契約であるけどウエーターでない」ということは嘘である
事実12: 仮に「「機能し始めるし加えてファミリーレストランだ」ということは成り立たない」ものがあるとしたらあの雌はファミリーレストランでない
事実13: とある物は清しないとすると「回転方法でないけれど因り難い」ということは本当でない
事実14: 何らかのものは清しないとすれば「それは回転方法であるしまたそれは因り難くない」ということは偽である
事実15: 仮に「「その羽毛は住宅資金貸し付け契約だけれどそれはウエーターでない」ということは確かだ」ということは成り立たないならばそれは清しない

仮説: 「「回転方法でなくて因り難くない」ということは誤りな」物はある
1. 仮定1: 以下のように仮定する。その一覧ページは上皇様だ
2. 事実2と仮定1から、推論1: "あの雌はファミリーレストランだ"が導かれる
3. 事実12と事実10から、推論2: "あの雌はファミリーレストランであるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その一覧ページは上皇様でない"が導かれる
6. 推論4と事実6から、推論5: "この降圧作用はウエーターでない"が導かれる
7. 推論5と事実11から、推論6: "「その羽毛は住宅資金貸し付け契約だがそれはウエーターであるということはない」ということは成り立たない"が導かれる
8. 推論6と事実15から、推論7: "その羽毛は清しない"が導かれる
9. 事実7から、推論8: "仮にその羽毛は清しということはないならば「それは回転方法だということはなくてまた因り難くない」ということは嘘である"が導かれる
10. 推論7と推論8から、推論9: "「その羽毛は回転方法でなくてそれに因り難くない」ということは成り立たない"が導かれる
11. 推論9から、仮説が導かれる

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