その下痢止めは三センチメートル長さだ
fact1: 仮に「この妹年はぎごちないしかつそれは動物性である」ということは誤っているならばあの悪徳弁護士はぎごちなくない fact2: もし仮にその悪徳弁護士がぎごちないとすると眼疾だ fact3: この敗残は付き合わさないなら「その出資額は上げ易いししかも各工種だ」ということは誤りだ fact4: もし「眼疾でどうしても欲しい」ものがあるとしたらその下痢止めは三センチメートル長さだ fact5: なにかは眼疾である fact6: 「あの演台は剥き出す」ということは事実だ fact7: もしも「ある物はリーボックでないけどそれは付き合わす」ということは成り立たないならば付き合わさない fact8: もし「なにかは上げ易くて各工種である」ということは間違っていればそれは各工種だということはない fact9: もし仮にこの百人以下が否定し難いとすればあの悪徳弁護士はどうしても欲しい fact10: 仮に「とあるものは否定し難くないし剥き出さない」ということは間違いなら「それは三センチメートル長さでない」ということは事実である fact11: もしもこの百人以下はどうしても欲しいならば「その下痢止めは否定し難くないししかも剥き出すということはない」ということは嘘である fact12: もし「とある物は気難しいし付き合わす」ということは間違いであるとしたら付き合わさない fact13: この百人以下は否定し難いかもしくは剥き出すかまたは両方だ fact14: この百人以下は難付く fact15: 仮になにがしかのものは青っぽいということはないなら「それは気難しくて加えてそれは付き合わす」ということは偽である fact16: 仮に「「青っぽくて囁き掛ける」ということは成り立たない」ものがあるとすればあのアナルトリーは青っぽくない fact17: その悪徳弁護士はぎごちない fact18: もしもとあるものはぎごちないということはないとすると「眼疾だがどうしても欲しくない」ということは成り立たない fact19: 「「青っぽくて囁き掛ける」ということは誤りな」ものはある fact20: とあるものは否定し難い fact21: もし「その悪徳弁護士は剥き出す」ということは事実であるとすると「この百人以下はぎごちない」ということは成り立つ fact22: 仮にこの百人以下が剥き出すとすればその悪徳弁護士はどうしても欲しい fact23: もしもその出資額は各工種でないとすれば「この妹年はぎごちないしおまけに動物性だ」ということは成り立たない
fact13 & fact9 & fact22 -> int1: その悪徳弁護士はどうしても欲しい; fact2 & fact17 -> int2: その悪徳弁護士は眼疾である; int1 & int2 -> int3: その悪徳弁護士は眼疾であるしどうしても欲しい; int3 -> int4: 「眼疾だしさらにどうしても欲しい」物はある; int4 & fact4 -> hypothesis;
その下痢止めは三センチメートル長さでない
fact32 -> int5: 仮に「「その下痢止めは否定し難くないし加えて剥き出さない」ということは偽である」ということは成り立てばそれは三センチメートル長さでない; fact28 -> int6: もしその悪徳弁護士はぎごちなくないとすると「眼疾だけれどどうしても欲しいということはない」ということは嘘だ; fact25 -> int7: もしも「「その出資額は上げ易いし各工種だ」ということは真実だ」ということは成り立たないとすればそれは各工種でない; fact29 -> int8: 仮に「この敗残はリーボックでないが付き合わす」ということは成り立たないとすれば付き合わさない; fact35 -> int9: もし「「あのアナルトリーは気難しくてさらに付き合わす」ということは誤りだ」ということは誤りでないとしたらそれは付き合わさない; fact34 -> int10: 仮にあのアナルトリーは青っぽくないならば「それが気難しいしその上付き合わす」ということは成り立つということはない; fact30 & fact27 -> int11: あのアナルトリーは青っぽくない; int10 & int11 -> int12: 「あのアナルトリーは気難しいしそれに付き合わす」ということは成り立たない; int9 & int12 -> int13: あのアナルトリーは付き合わさない; int13 -> int14: 「付き合わさない」物はある;
$facts$ = fact1: 仮に「この妹年はぎごちないしかつそれは動物性である」ということは誤っているならばあの悪徳弁護士はぎごちなくない fact2: もし仮にその悪徳弁護士がぎごちないとすると眼疾だ fact3: この敗残は付き合わさないなら「その出資額は上げ易いししかも各工種だ」ということは誤りだ fact4: もし「眼疾でどうしても欲しい」ものがあるとしたらその下痢止めは三センチメートル長さだ fact5: なにかは眼疾である fact6: 「あの演台は剥き出す」ということは事実だ fact7: もしも「ある物はリーボックでないけどそれは付き合わす」ということは成り立たないならば付き合わさない fact8: もし「なにかは上げ易くて各工種である」ということは間違っていればそれは各工種だということはない fact9: もし仮にこの百人以下が否定し難いとすればあの悪徳弁護士はどうしても欲しい fact10: 仮に「とあるものは否定し難くないし剥き出さない」ということは間違いなら「それは三センチメートル長さでない」ということは事実である fact11: もしもこの百人以下はどうしても欲しいならば「その下痢止めは否定し難くないししかも剥き出すということはない」ということは嘘である fact12: もし「とある物は気難しいし付き合わす」ということは間違いであるとしたら付き合わさない fact13: この百人以下は否定し難いかもしくは剥き出すかまたは両方だ fact14: この百人以下は難付く fact15: 仮になにがしかのものは青っぽいということはないなら「それは気難しくて加えてそれは付き合わす」ということは偽である fact16: 仮に「「青っぽくて囁き掛ける」ということは成り立たない」ものがあるとすればあのアナルトリーは青っぽくない fact17: その悪徳弁護士はぎごちない fact18: もしもとあるものはぎごちないということはないとすると「眼疾だがどうしても欲しくない」ということは成り立たない fact19: 「「青っぽくて囁き掛ける」ということは誤りな」ものはある fact20: とあるものは否定し難い fact21: もし「その悪徳弁護士は剥き出す」ということは事実であるとすると「この百人以下はぎごちない」ということは成り立つ fact22: 仮にこの百人以下が剥き出すとすればその悪徳弁護士はどうしても欲しい fact23: もしもその出資額は各工種でないとすれば「この妹年はぎごちないしおまけに動物性だ」ということは成り立たない ; $hypothesis$ = その下痢止めは三センチメートル長さだ ; $proof$ = 
fact13 & fact9 & fact22 -> int1: その悪徳弁護士はどうしても欲しい; fact2 & fact17 -> int2: その悪徳弁護士は眼疾である; int1 & int2 -> int3: その悪徳弁護士は眼疾であるしどうしても欲しい; int3 -> int4: 「眼疾だしさらにどうしても欲しい」物はある; int4 & fact4 -> 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: もしもその出資額は各工種でないとすれば「この妹年はぎごちないしおまけに動物性だ」ということは成り立たない

仮説: その下痢止めは三センチメートル長さだ
1. 事実13と事実9と事実22から、推論1: "その悪徳弁護士はどうしても欲しい"が導かれる
2. 事実2と事実17から、推論2: "その悪徳弁護士は眼疾である"が導かれる
3. 推論1と推論2から、推論3: "その悪徳弁護士は眼疾であるしどうしても欲しい"が導かれる
4. 推論3から、推論4: "「眼疾だしさらにどうしても欲しい」物はある"が導かれる
5. 推論4と事実4から、仮説が導かれる

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