「あの夕焼け色は態とらしくてぎごちない」ということは偽だ
fact1: この町並みがＩＲＡＳだけど記章であるということはないとすればそのメイクアップは得られ難くない fact2: もしこの本邦が認め難いならばそれは人生戦略である fact3: この本邦は認め難い fact4: 置き易い物は人生戦略でないしかつぎごちなくない fact5: 仮になにがしかのものは言い出せるとしたら「認め難くないしまた態とらしいということはない」ということは成り立たない fact6: 態とらしい物は置き易くない一方で言い出せる fact7: もしもこの町並みが割れるとすればそれはＩＲＡＳだけれど記章でない fact8: 仮にこの本邦が置き易くないならばこのＰＥＴスキャンは人生戦略であるしそれにそれは認め難い fact9: もし仮に「「認め難くないし態とらしくない」ということは誤りな」ものがあるとしたらあの夕焼け色は態とらしい fact10: この本邦は言い出せらないとしたら「あの夕焼け色が態とらしいしその上ぎごちない」ということは成り立たない fact11: もしもそのシータ波が人生戦略でなくておまけにそれはぎごちなくないとするとこの本邦はぎごちない fact12: この町並みは割れる fact13: 仮にこの本邦がぎごちないならあの夕焼け色はぎごちない fact14: 「この本邦は置き易くてさらに態とらしい」ということは誤っている fact15: もし仮にこの本邦がぎごちないとするとそれは態とらしい fact16: もしもこの本邦はぎごちなくないなら「あの夕焼け色は人生戦略であるしかつ言い出せる」ということは成り立たない fact17: もし仮にこの本邦が態とらしいとすると認め難いということはない fact18: もし仮に何かは人生戦略であるかあるいはそれは置き易いかもしくは両方だとすればそれは言い出せらない fact19: もし仮に「得られ難くない」物があるならあの文法は止め為さるししかもそれは言い出せる
fact2 & fact3 -> int1: 「この本邦は人生戦略である」ということは確かだ; int1 -> int2: この本邦は人生戦略であるかそれは置き易いか両方だ; fact18 -> int3: この本邦が人生戦略であるかまたは置き易いか両方だとしたらそれは言い出せらない; int2 & int3 -> int4: この本邦は言い出せらない; int4 & fact10 -> hypothesis;
「このＰＥＴスキャンは人生戦略である」ということは本当である
fact21 -> int5: もし仮にこの本邦が態とらしいとしたらそれは置き易くなくて更にそれは言い出せる;
$facts$ = fact1: この町並みがＩＲＡＳだけど記章であるということはないとすればそのメイクアップは得られ難くない fact2: もしこの本邦が認め難いならばそれは人生戦略である fact3: この本邦は認め難い fact4: 置き易い物は人生戦略でないしかつぎごちなくない fact5: 仮になにがしかのものは言い出せるとしたら「認め難くないしまた態とらしいということはない」ということは成り立たない fact6: 態とらしい物は置き易くない一方で言い出せる fact7: もしもこの町並みが割れるとすればそれはＩＲＡＳだけれど記章でない fact8: 仮にこの本邦が置き易くないならばこのＰＥＴスキャンは人生戦略であるしそれにそれは認め難い fact9: もし仮に「「認め難くないし態とらしくない」ということは誤りな」ものがあるとしたらあの夕焼け色は態とらしい fact10: この本邦は言い出せらないとしたら「あの夕焼け色が態とらしいしその上ぎごちない」ということは成り立たない fact11: もしもそのシータ波が人生戦略でなくておまけにそれはぎごちなくないとするとこの本邦はぎごちない fact12: この町並みは割れる fact13: 仮にこの本邦がぎごちないならあの夕焼け色はぎごちない fact14: 「この本邦は置き易くてさらに態とらしい」ということは誤っている fact15: もし仮にこの本邦がぎごちないとするとそれは態とらしい fact16: もしもこの本邦はぎごちなくないなら「あの夕焼け色は人生戦略であるしかつ言い出せる」ということは成り立たない fact17: もし仮にこの本邦が態とらしいとすると認め難いということはない fact18: もし仮に何かは人生戦略であるかあるいはそれは置き易いかもしくは両方だとすればそれは言い出せらない fact19: もし仮に「得られ難くない」物があるならあの文法は止め為さるししかもそれは言い出せる ; $hypothesis$ = 「あの夕焼け色は態とらしくてぎごちない」ということは偽だ ; $proof$ = 
fact2 & fact3 -> int1: 「この本邦は人生戦略である」ということは確かだ; int1 -> int2: この本邦は人生戦略であるかそれは置き易いか両方だ; fact18 -> int3: この本邦が人生戦略であるかまたは置き易いか両方だとしたらそれは言い出せらない; int2 & int3 -> int4: この本邦は言い出せらない; int4 & fact10 -> hypothesis; __PROVED__
事実1: この町並みがＩＲＡＳだけど記章であるということはないとすればそのメイクアップは得られ難くない
事実2: もしこの本邦が認め難いならばそれは人生戦略である
事実3: この本邦は認め難い
事実4: 置き易い物は人生戦略でないしかつぎごちなくない
事実5: 仮になにがしかのものは言い出せるとしたら「認め難くないしまた態とらしいということはない」ということは成り立たない
事実6: 態とらしい物は置き易くない一方で言い出せる
事実7: もしもこの町並みが割れるとすればそれはＩＲＡＳだけれど記章でない
事実8: 仮にこの本邦が置き易くないならばこのＰＥＴスキャンは人生戦略であるしそれにそれは認め難い
事実9: もし仮に「「認め難くないし態とらしくない」ということは誤りな」ものがあるとしたらあの夕焼け色は態とらしい
事実10: この本邦は言い出せらないとしたら「あの夕焼け色が態とらしいしその上ぎごちない」ということは成り立たない
事実11: もしもそのシータ波が人生戦略でなくておまけにそれはぎごちなくないとするとこの本邦はぎごちない
事実12: この町並みは割れる
事実13: 仮にこの本邦がぎごちないならあの夕焼け色はぎごちない
事実14: 「この本邦は置き易くてさらに態とらしい」ということは誤っている
事実15: もし仮にこの本邦がぎごちないとするとそれは態とらしい
事実16: もしもこの本邦はぎごちなくないなら「あの夕焼け色は人生戦略であるしかつ言い出せる」ということは成り立たない
事実17: もし仮にこの本邦が態とらしいとすると認め難いということはない
事実18: もし仮に何かは人生戦略であるかあるいはそれは置き易いかもしくは両方だとすればそれは言い出せらない
事実19: もし仮に「得られ難くない」物があるならあの文法は止め為さるししかもそれは言い出せる

仮説: 「あの夕焼け色は態とらしくてぎごちない」ということは偽だ
1. 事実2と事実3から、推論1: "「この本邦は人生戦略である」ということは確かだ"が導かれる
2. 推論1から、推論2: "この本邦は人生戦略であるかそれは置き易いか両方だ"が導かれる
3. 事実18から、推論3: "この本邦が人生戦略であるかまたは置き易いか両方だとしたらそれは言い出せらない"が導かれる
4. 推論2と推論3から、推論4: "この本邦は言い出せらない"が導かれる
5. 推論4と事実10から、仮説が導かれる

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