「あの妻子持ちは蹌踉くがしかしそれは葉緑素でない」ということは嘘だ
fact1: もし仮に「あの妻子持ちは冷たくない」ということは事実だとすれば「「それは蹌踉くしまたそれは葉緑素だということはない」ということは成り立つ」ということは成り立たない fact2: もしあの琥珀は惜しみ無いとすれば「その労働科学研究所報告は惜しみ無い」ということは成り立つ fact3: 「葉緑素な」物はある fact4: あの妻子持ちは蹌踉く fact5: あの形而上学は提言す fact6: もし仮に「あの妻子持ちは惜しみ無い」ということは成り立つならあの琥珀は惜しみ無い fact7: 仮にとあるものが提言すしそれにそれが出撃であるとするとあの妻子持ちは冷たくない fact8: あの琥珀は提言す fact9: とある物が出撃でないとすれば葉緑素でないがしかし提言す fact10: あの琥珀は出撃である fact11: 「出撃だしさらに葉緑素である」ものはある fact12: なにがしかのものは敵対するしおまけにそれは成田中央だ
fact8 & fact10 -> int1: あの琥珀は提言すしそれにそれは出撃である; int1 -> int2: 「提言すしかつ出撃な」ものはある; int2 & fact7 -> int3: 「あの妻子持ちは冷たくない」ということは真実だ; int3 & fact1 -> hypothesis;
あの妻子持ちは蹌踉くけど葉緑素でない
fact13 -> int4: もしもあの妻子持ちが出撃だということはないとすれば葉緑素でないがしかし提言す;
$facts$ = fact1: もし仮に「あの妻子持ちは冷たくない」ということは事実だとすれば「「それは蹌踉くしまたそれは葉緑素だということはない」ということは成り立つ」ということは成り立たない fact2: もしあの琥珀は惜しみ無いとすれば「その労働科学研究所報告は惜しみ無い」ということは成り立つ fact3: 「葉緑素な」物はある fact4: あの妻子持ちは蹌踉く fact5: あの形而上学は提言す fact6: もし仮に「あの妻子持ちは惜しみ無い」ということは成り立つならあの琥珀は惜しみ無い fact7: 仮にとあるものが提言すしそれにそれが出撃であるとするとあの妻子持ちは冷たくない fact8: あの琥珀は提言す fact9: とある物が出撃でないとすれば葉緑素でないがしかし提言す fact10: あの琥珀は出撃である fact11: 「出撃だしさらに葉緑素である」ものはある fact12: なにがしかのものは敵対するしおまけにそれは成田中央だ ; $hypothesis$ = 「あの妻子持ちは蹌踉くがしかしそれは葉緑素でない」ということは嘘だ ; $proof$ = 
fact8 & fact10 -> int1: あの琥珀は提言すしそれにそれは出撃である; int1 -> int2: 「提言すしかつ出撃な」ものはある; int2 & fact7 -> int3: 「あの妻子持ちは冷たくない」ということは真実だ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あの妻子持ちは冷たくない」ということは事実だとすれば「「それは蹌踉くしまたそれは葉緑素だということはない」ということは成り立つ」ということは成り立たない
事実2: もしあの琥珀は惜しみ無いとすれば「その労働科学研究所報告は惜しみ無い」ということは成り立つ
事実3: 「葉緑素な」物はある
事実4: あの妻子持ちは蹌踉く
事実5: あの形而上学は提言す
事実6: もし仮に「あの妻子持ちは惜しみ無い」ということは成り立つならあの琥珀は惜しみ無い
事実7: 仮にとあるものが提言すしそれにそれが出撃であるとするとあの妻子持ちは冷たくない
事実8: あの琥珀は提言す
事実9: とある物が出撃でないとすれば葉緑素でないがしかし提言す
事実10: あの琥珀は出撃である
事実11: 「出撃だしさらに葉緑素である」ものはある
事実12: なにがしかのものは敵対するしおまけにそれは成田中央だ

仮説: 「あの妻子持ちは蹌踉くがしかしそれは葉緑素でない」ということは嘘だ
1. 事実8と事実10から、推論1: "あの琥珀は提言すしそれにそれは出撃である"が導かれる
2. 推論1から、推論2: "「提言すしかつ出撃な」ものはある"が導かれる
3. 推論2と事実7から、推論3: "「あの妻子持ちは冷たくない」ということは真実だ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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