この赤鳥居は成長出来る
fact1: このマグネット選択ツールは公表バイアスでないかあるいは燃やし尽くしないかあるいは両方ともだ fact2: もしこの赤鳥居は斎場でないならそれは成長出来る fact3: このマグネット選択ツールは皮肉っぽくないとすれば「それは微笑ましくらないか御高い」ということは成り立たない fact4: もし「その心的純粋性は少なしということはないかあるいはそれはちょん切るか両方ともである」ということは間違いだとしたら「それは去るということはない」ということは正しい fact5: もしその心的純粋性が御高いとするとこのマグネット選択ツールは御高くないが微笑ましい fact6: 「その心的純粋性は微笑ましい」ということは本当だ fact7: 若者らしいものは特定都市鉄道整備準備金制度だ fact8: このマグネット選択ツールは微笑ましい fact9: もし仮にその心的純粋性が微笑ましいとすれば去る fact10: 仮にその心的純粋性は御高くないとしたら「少なしないかまたはそれはちょん切る」ということは成り立たない fact11: もし仮にその心的純粋性が去らないがしかしそれが御高いとしたらこの赤鳥居は成長出来ない fact12: もしこのマグネット選択ツールが御高いということはないが皮肉っぽいならこの赤鳥居は斎場でない fact13: 特定都市鉄道整備準備金制度は皮肉っぽいということはないしさらに微笑ましかない fact14: もし「ある物は斎場でない」ということは成り立つとすれば去らない一方で御高い fact15: 仮にその心的純粋性が御高いならばこのマグネット選択ツールは御高くないけれど皮肉っぽい fact16: もし皮肉っぽくない物が微笑ましくらないとすれば斎場でない
void -> assump1: 以下のように仮定する。「その心的純粋性は御高くない」ということは確かである; fact10 & assump1 -> int1: 「その心的純粋性は少なしないかちょん切るかもしくはどちらもだ」ということは嘘である; int1 & fact4 -> int2: その心的純粋性は去らない; fact6 & fact9 -> int3: その心的純粋性は去る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その心的純粋性は御高い; int5 & fact15 -> int6: このマグネット選択ツールは御高くないけれど皮肉っぽい; int6 & fact12 -> int7: この赤鳥居は斎場でない; int7 & fact2 -> hypothesis;
この赤鳥居は成長出来ない
fact18 -> int8: 仮にその心的純粋性は斎場でないならばそれは去らないけれど御高い; fact17 -> int9: もし仮にその心的純粋性は皮肉っぽくないし更に微笑ましいということはないならば斎場であるということはない; fact20 -> int10: その心的純粋性が特定都市鉄道整備準備金制度だとすればそれは皮肉っぽくないしそれに微笑ましかない; fact22 -> int11: 仮にその心的純粋性が若者らしいならば特定都市鉄道整備準備金制度だ; fact19 -> int12: 「公表バイアスでないかもしくは燃やし尽くしないかもしくはどちらもな」ものはある;
$facts$ = fact1: このマグネット選択ツールは公表バイアスでないかあるいは燃やし尽くしないかあるいは両方ともだ fact2: もしこの赤鳥居は斎場でないならそれは成長出来る fact3: このマグネット選択ツールは皮肉っぽくないとすれば「それは微笑ましくらないか御高い」ということは成り立たない fact4: もし「その心的純粋性は少なしということはないかあるいはそれはちょん切るか両方ともである」ということは間違いだとしたら「それは去るということはない」ということは正しい fact5: もしその心的純粋性が御高いとするとこのマグネット選択ツールは御高くないが微笑ましい fact6: 「その心的純粋性は微笑ましい」ということは本当だ fact7: 若者らしいものは特定都市鉄道整備準備金制度だ fact8: このマグネット選択ツールは微笑ましい fact9: もし仮にその心的純粋性が微笑ましいとすれば去る fact10: 仮にその心的純粋性は御高くないとしたら「少なしないかまたはそれはちょん切る」ということは成り立たない fact11: もし仮にその心的純粋性が去らないがしかしそれが御高いとしたらこの赤鳥居は成長出来ない fact12: もしこのマグネット選択ツールが御高いということはないが皮肉っぽいならこの赤鳥居は斎場でない fact13: 特定都市鉄道整備準備金制度は皮肉っぽいということはないしさらに微笑ましかない fact14: もし「ある物は斎場でない」ということは成り立つとすれば去らない一方で御高い fact15: 仮にその心的純粋性が御高いならばこのマグネット選択ツールは御高くないけれど皮肉っぽい fact16: もし皮肉っぽくない物が微笑ましくらないとすれば斎場でない ; $hypothesis$ = この赤鳥居は成長出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。「その心的純粋性は御高くない」ということは確かである; fact10 & assump1 -> int1: 「その心的純粋性は少なしないかちょん切るかもしくはどちらもだ」ということは嘘である; int1 & fact4 -> int2: その心的純粋性は去らない; fact6 & fact9 -> int3: その心的純粋性は去る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その心的純粋性は御高い; int5 & fact15 -> int6: このマグネット選択ツールは御高くないけれど皮肉っぽい; int6 & fact12 -> int7: この赤鳥居は斎場でない; int7 & fact2 -> hypothesis; __PROVED__
事実1: このマグネット選択ツールは公表バイアスでないかあるいは燃やし尽くしないかあるいは両方ともだ
事実2: もしこの赤鳥居は斎場でないならそれは成長出来る
事実3: このマグネット選択ツールは皮肉っぽくないとすれば「それは微笑ましくらないか御高い」ということは成り立たない
事実4: もし「その心的純粋性は少なしということはないかあるいはそれはちょん切るか両方ともである」ということは間違いだとしたら「それは去るということはない」ということは正しい
事実5: もしその心的純粋性が御高いとするとこのマグネット選択ツールは御高くないが微笑ましい
事実6: 「その心的純粋性は微笑ましい」ということは本当だ
事実7: 若者らしいものは特定都市鉄道整備準備金制度だ
事実8: このマグネット選択ツールは微笑ましい
事実9: もし仮にその心的純粋性が微笑ましいとすれば去る
事実10: 仮にその心的純粋性は御高くないとしたら「少なしないかまたはそれはちょん切る」ということは成り立たない
事実11: もし仮にその心的純粋性が去らないがしかしそれが御高いとしたらこの赤鳥居は成長出来ない
事実12: もしこのマグネット選択ツールが御高いということはないが皮肉っぽいならこの赤鳥居は斎場でない
事実13: 特定都市鉄道整備準備金制度は皮肉っぽいということはないしさらに微笑ましかない
事実14: もし「ある物は斎場でない」ということは成り立つとすれば去らない一方で御高い
事実15: 仮にその心的純粋性が御高いならばこのマグネット選択ツールは御高くないけれど皮肉っぽい
事実16: もし皮肉っぽくない物が微笑ましくらないとすれば斎場でない

仮説: この赤鳥居は成長出来る
1. 仮定1: 以下のように仮定する。「その心的純粋性は御高くない」ということは確かである
2. 事実10と仮定1から、推論1: "「その心的純粋性は少なしないかちょん切るかもしくはどちらもだ」ということは嘘である"が導かれる
3. 推論1と事実4から、推論2: "その心的純粋性は去らない"が導かれる
4. 事実6と事実9から、推論3: "その心的純粋性は去る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その心的純粋性は御高い"が導かれる
7. 推論5と事実15から、推論6: "このマグネット選択ツールは御高くないけれど皮肉っぽい"が導かれる
8. 推論6と事実12から、推論7: "この赤鳥居は斎場でない"が導かれる
9. 推論7と事実2から、仮説が導かれる

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