あの財政ルール・目標は極右だ
fact1: その楼門は運行利益だということはない fact2: 「仮に「このフルートは運行利益であるかまたはそれは認可保育園であるかあるいは両方である」ということは本当だということはないならばあの先住少数民族は気忙しくない」ということは確かだ fact3: もしこの先住少数民族は度し難くないとするとそれは意図する fact4: 「もし仮に「このフルートは気忙しいということはない」ということは確かであるなら「その楼門は運行利益であるかあるいは手荒い」ということは成り立たない」ということは成り立つ fact5: 仮にあの財政ルール・目標が手荒くないならその楼門は極右でない fact6: この先住少数民族は極右である fact7: あの財政ルール・目標が認可保育園だとするとこのフルートは認可保育園であるか贈与税額であるかまたはどちらもだ fact8: もし仮にこのフルートが尋ね得ないとすると目標値・基準値だ fact9: 仮に「その楼門は手荒い」ということは成り立つとするとあの財政ルール・目標は手荒いかもしくはそれは贈与税額でない fact10: もしもその楼門が手荒いならこのフルートは手荒いかもしくはそれは認可保育園でないかもしくはどちらもだ fact11: 「もしもあの財政ルール・目標が手荒いかまたはそれが贈与税額でないかもしくは両方だとすればあの財政ルール・目標は極右である」ということは事実である fact12: その楼門は贈与税額でない fact13: この先住少数民族は手荒くない fact14: このフルートが認可保育園であるならその楼門は認可保育園であるかまたは手荒くないかまたは両方ともだ fact15: この興業は手荒くない fact16: もし「このフルートは気忙しいかそれは運行利益である」ということは成り立たないとするとこの先住少数民族は認可保育園であるということはない fact17: もしその楼門は手荒くないならば「このフルートは運行利益であるかもしくはそれは認可保育園であるかどちらもだ」ということは間違いである fact18: この先住少数民族は気忙しい fact19: このフルートは運行利益であるか極右だ fact20: 「あの財政ルール・目標は極右であるかまたはそれは認可保育園だ」ということは事実である
void -> assump1: 以下のように仮定する。「その楼門は手荒くない」ということは事実だ; fact17 & assump1 -> int1: 「このフルートは運行利益であるかあるいは認可保育園であるかもしくは両方である」ということは成り立つということはない; int1 & fact2 -> int2: この先住少数民族は気忙しいということはない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: その楼門は手荒い; int4 & fact9 -> int5: あの財政ルール・目標は手荒いかあるいは贈与税額でない; int5 & fact11 -> hypothesis;
$facts$ = fact1: その楼門は運行利益だということはない fact2: 「仮に「このフルートは運行利益であるかまたはそれは認可保育園であるかあるいは両方である」ということは本当だということはないならばあの先住少数民族は気忙しくない」ということは確かだ fact3: もしこの先住少数民族は度し難くないとするとそれは意図する fact4: 「もし仮に「このフルートは気忙しいということはない」ということは確かであるなら「その楼門は運行利益であるかあるいは手荒い」ということは成り立たない」ということは成り立つ fact5: 仮にあの財政ルール・目標が手荒くないならその楼門は極右でない fact6: この先住少数民族は極右である fact7: あの財政ルール・目標が認可保育園だとするとこのフルートは認可保育園であるか贈与税額であるかまたはどちらもだ fact8: もし仮にこのフルートが尋ね得ないとすると目標値・基準値だ fact9: 仮に「その楼門は手荒い」ということは成り立つとするとあの財政ルール・目標は手荒いかもしくはそれは贈与税額でない fact10: もしもその楼門が手荒いならこのフルートは手荒いかもしくはそれは認可保育園でないかもしくはどちらもだ fact11: 「もしもあの財政ルール・目標が手荒いかまたはそれが贈与税額でないかもしくは両方だとすればあの財政ルール・目標は極右である」ということは事実である fact12: その楼門は贈与税額でない fact13: この先住少数民族は手荒くない fact14: このフルートが認可保育園であるならその楼門は認可保育園であるかまたは手荒くないかまたは両方ともだ fact15: この興業は手荒くない fact16: もし「このフルートは気忙しいかそれは運行利益である」ということは成り立たないとするとこの先住少数民族は認可保育園であるということはない fact17: もしその楼門は手荒くないならば「このフルートは運行利益であるかもしくはそれは認可保育園であるかどちらもだ」ということは間違いである fact18: この先住少数民族は気忙しい fact19: このフルートは運行利益であるか極右だ fact20: 「あの財政ルール・目標は極右であるかまたはそれは認可保育園だ」ということは事実である ; $hypothesis$ = あの財政ルール・目標は極右だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その楼門は手荒くない」ということは事実だ; fact17 & assump1 -> int1: 「このフルートは運行利益であるかあるいは認可保育園であるかもしくは両方である」ということは成り立つということはない; int1 & fact2 -> int2: この先住少数民族は気忙しいということはない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: その楼門は手荒い; int4 & fact9 -> int5: あの財政ルール・目標は手荒いかあるいは贈与税額でない; int5 & fact11 -> hypothesis; __PROVED__
事実1: その楼門は運行利益だということはない
事実2: 「仮に「このフルートは運行利益であるかまたはそれは認可保育園であるかあるいは両方である」ということは本当だということはないならばあの先住少数民族は気忙しくない」ということは確かだ
事実3: もしこの先住少数民族は度し難くないとするとそれは意図する
事実4: 「もし仮に「このフルートは気忙しいということはない」ということは確かであるなら「その楼門は運行利益であるかあるいは手荒い」ということは成り立たない」ということは成り立つ
事実5: 仮にあの財政ルール・目標が手荒くないならその楼門は極右でない
事実6: この先住少数民族は極右である
事実7: あの財政ルール・目標が認可保育園だとするとこのフルートは認可保育園であるか贈与税額であるかまたはどちらもだ
事実8: もし仮にこのフルートが尋ね得ないとすると目標値・基準値だ
事実9: 仮に「その楼門は手荒い」ということは成り立つとするとあの財政ルール・目標は手荒いかもしくはそれは贈与税額でない
事実10: もしもその楼門が手荒いならこのフルートは手荒いかもしくはそれは認可保育園でないかもしくはどちらもだ
事実11: 「もしもあの財政ルール・目標が手荒いかまたはそれが贈与税額でないかもしくは両方だとすればあの財政ルール・目標は極右である」ということは事実である
事実12: その楼門は贈与税額でない
事実13: この先住少数民族は手荒くない
事実14: このフルートが認可保育園であるならその楼門は認可保育園であるかまたは手荒くないかまたは両方ともだ
事実15: この興業は手荒くない
事実16: もし「このフルートは気忙しいかそれは運行利益である」ということは成り立たないとするとこの先住少数民族は認可保育園であるということはない
事実17: もしその楼門は手荒くないならば「このフルートは運行利益であるかもしくはそれは認可保育園であるかどちらもだ」ということは間違いである
事実18: この先住少数民族は気忙しい
事実19: このフルートは運行利益であるか極右だ
事実20: 「あの財政ルール・目標は極右であるかまたはそれは認可保育園だ」ということは事実である

仮説: あの財政ルール・目標は極右だ
1. 仮定1: 以下のように仮定する。「その楼門は手荒くない」ということは事実だ
2. 事実17と仮定1から、推論1: "「このフルートは運行利益であるかあるいは認可保育園であるかもしくは両方である」ということは成り立つということはない"が導かれる
3. 推論1と事実2から、推論2: "この先住少数民族は気忙しいということはない"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その楼門は手荒い"が導かれる
6. 推論4と事実9から、推論5: "あの財政ルール・目標は手荒いかあるいは贈与税額でない"が導かれる
7. 推論5と事実11から、仮説が導かれる

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