このポストスクリプトフォントは苔むさない
fact1: このポストスクリプトフォントは苦笑する fact2: この受信ユニット接続例は羨ましい fact3: その中小企業融資編は忠実忠実しいししかも苔むす fact4: 「その他言はＥＵＳでなくてその上キャンプファイヤーでない」ということは事実でない fact5: 仮にその分光実験が心理学化するとしたらあのマトリカリアは寝苦しい fact6: 仮にあのマトリカリアが心理学化するとするとその分光実験は寝苦しい fact7: 寝苦しい物が汚らわしくないならそれは同封する fact8: その分光実験が寝苦しいし苔むすならばあのポストスクリプトフォントは同封しない fact9: あのマトリカリアは素晴らし fact10: あの販売戦略は心理学化する fact11: その分光実験は心理学化する fact12: この大男は苔むす fact13: その分光実験は羨ましいしそれは同封する fact14: あのマトリカリアは苔むす fact15: 羨ましい物は汚らわしい fact16: 「キャンプファイヤーな」物はあるとすれば「あの早期解決は心理学化するし更にそれはイメージし易い」ということは成り立たない fact17: あのマトリカリアは心理学化する fact18: もし仮にその分光実験が汚らわしくて寝苦しいとすればこのポストスクリプトフォントは苔むさない fact19: もしも「その他言はＥＵＳでないししかもキャンプファイヤーであるということはない」ということは成り立たないならばこの御義母さんはキャンプファイヤーである fact20: もしその分光実験は汚らわしいならば「このポストスクリプトフォントは同封する」ということは確かである fact21: もし仮にその分光実験が同封しないならこのポストスクリプトフォントは苔むすし羨ましい fact22: あのマトリカリアは同封する fact23: もし仮にあのマトリカリアが心理学化しないとするとそれは寝苦しいけれど汚らわしいということはない fact24: もしこのポストスクリプトフォントが汚らわしいとすればその分光実験は苔むす
fact13 -> int1: 「その分光実験は羨ましいということはない」ということは誤りである; fact15 -> int2: もしも「その分光実験は羨ましい」ということは事実だとすれば「汚らわしい」ということは真実である; int1 & int2 -> int3: その分光実験は汚らわしい; fact6 & fact17 -> int4: その分光実験は寝苦しい; int3 & int4 -> int5: その分光実験は汚らわしいしかつそれは寝苦しい; int5 & fact18 -> hypothesis;
このポストスクリプトフォントは苔むす
fact28 -> int6: もし仮にあのマトリカリアは寝苦しいけど汚らわしくないとしたらそれは同封する; fact27 & fact25 -> int7: 「この御義母さんはキャンプファイヤーである」ということは真実である; int7 -> int8: 「キャンプファイヤーである」ものはある; int8 & fact26 -> int9: 「あの早期解決は心理学化するし更にそれはイメージし易い」ということは誤りである; int9 -> int10: 「「心理学化するしその上イメージし易い」ということは偽な」ものはある;
$facts$ = fact1: このポストスクリプトフォントは苦笑する fact2: この受信ユニット接続例は羨ましい fact3: その中小企業融資編は忠実忠実しいししかも苔むす fact4: 「その他言はＥＵＳでなくてその上キャンプファイヤーでない」ということは事実でない fact5: 仮にその分光実験が心理学化するとしたらあのマトリカリアは寝苦しい fact6: 仮にあのマトリカリアが心理学化するとするとその分光実験は寝苦しい fact7: 寝苦しい物が汚らわしくないならそれは同封する fact8: その分光実験が寝苦しいし苔むすならばあのポストスクリプトフォントは同封しない fact9: あのマトリカリアは素晴らし fact10: あの販売戦略は心理学化する fact11: その分光実験は心理学化する fact12: この大男は苔むす fact13: その分光実験は羨ましいしそれは同封する fact14: あのマトリカリアは苔むす fact15: 羨ましい物は汚らわしい fact16: 「キャンプファイヤーな」物はあるとすれば「あの早期解決は心理学化するし更にそれはイメージし易い」ということは成り立たない fact17: あのマトリカリアは心理学化する fact18: もし仮にその分光実験が汚らわしくて寝苦しいとすればこのポストスクリプトフォントは苔むさない fact19: もしも「その他言はＥＵＳでないししかもキャンプファイヤーであるということはない」ということは成り立たないならばこの御義母さんはキャンプファイヤーである fact20: もしその分光実験は汚らわしいならば「このポストスクリプトフォントは同封する」ということは確かである fact21: もし仮にその分光実験が同封しないならこのポストスクリプトフォントは苔むすし羨ましい fact22: あのマトリカリアは同封する fact23: もし仮にあのマトリカリアが心理学化しないとするとそれは寝苦しいけれど汚らわしいということはない fact24: もしこのポストスクリプトフォントが汚らわしいとすればその分光実験は苔むす ; $hypothesis$ = このポストスクリプトフォントは苔むさない ; $proof$ = 
fact13 -> int1: 「その分光実験は羨ましいということはない」ということは誤りである; fact15 -> int2: もしも「その分光実験は羨ましい」ということは事実だとすれば「汚らわしい」ということは真実である; int1 & int2 -> int3: その分光実験は汚らわしい; fact6 & fact17 -> int4: その分光実験は寝苦しい; int3 & int4 -> int5: その分光実験は汚らわしいしかつそれは寝苦しい; int5 & fact18 -> hypothesis; __PROVED__
事実1: このポストスクリプトフォントは苦笑する
事実2: この受信ユニット接続例は羨ましい
事実3: その中小企業融資編は忠実忠実しいししかも苔むす
事実4: 「その他言はＥＵＳでなくてその上キャンプファイヤーでない」ということは事実でない
事実5: 仮にその分光実験が心理学化するとしたらあのマトリカリアは寝苦しい
事実6: 仮にあのマトリカリアが心理学化するとするとその分光実験は寝苦しい
事実7: 寝苦しい物が汚らわしくないならそれは同封する
事実8: その分光実験が寝苦しいし苔むすならばあのポストスクリプトフォントは同封しない
事実9: あのマトリカリアは素晴らし
事実10: あの販売戦略は心理学化する
事実11: その分光実験は心理学化する
事実12: この大男は苔むす
事実13: その分光実験は羨ましいしそれは同封する
事実14: あのマトリカリアは苔むす
事実15: 羨ましい物は汚らわしい
事実16: 「キャンプファイヤーな」物はあるとすれば「あの早期解決は心理学化するし更にそれはイメージし易い」ということは成り立たない
事実17: あのマトリカリアは心理学化する
事実18: もし仮にその分光実験が汚らわしくて寝苦しいとすればこのポストスクリプトフォントは苔むさない
事実19: もしも「その他言はＥＵＳでないししかもキャンプファイヤーであるということはない」ということは成り立たないならばこの御義母さんはキャンプファイヤーである
事実20: もしその分光実験は汚らわしいならば「このポストスクリプトフォントは同封する」ということは確かである
事実21: もし仮にその分光実験が同封しないならこのポストスクリプトフォントは苔むすし羨ましい
事実22: あのマトリカリアは同封する
事実23: もし仮にあのマトリカリアが心理学化しないとするとそれは寝苦しいけれど汚らわしいということはない
事実24: もしこのポストスクリプトフォントが汚らわしいとすればその分光実験は苔むす

仮説: このポストスクリプトフォントは苔むさない
1. 事実13から、推論1: "「その分光実験は羨ましいということはない」ということは誤りである"が導かれる
2. 事実15から、推論2: "もしも「その分光実験は羨ましい」ということは事実だとすれば「汚らわしい」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "その分光実験は汚らわしい"が導かれる
4. 事実6と事実17から、推論4: "その分光実験は寝苦しい"が導かれる
5. 推論3と推論4から、推論5: "その分光実験は汚らわしいしかつそれは寝苦しい"が導かれる
6. 推論5と事実18から、仮説が導かれる

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