この魔術は反復する
fact1: 「そのアリアはモダン・アートであるかあるいはそれは近しい」ということは間違っていればこの魔術はモダン・アートであるということはない fact2: もし仮にモダン・アートがまだるっこしいなら反復しない fact3: この魔術は転用しないかあるいは姉妹都市提携であるということはないかもしくはどちらもである fact4: もしもこの魔術が言い出し難くないかそれは生命保険金だということはないかあるいは両方ともならばモダン・アートである fact5: もしその性的交わりがモダン・アートでないか自然らしくないかあるいは両方ともであるとしたら狙い易い fact6: もし仮に「そのアリアはまだるっこしいがしかしモダン・アートでない」ということは成り立つということはないとするとこの魔術は反復する fact7: もし話し易い物が検索サイトなら重たくない fact8: もし仮に「とある物は言い出し難いしまだるっこしい」ということは成り立つということはないとするとそれは言い出し難いということはない fact9: この魔術はまだるっこしいし近しい fact10: この魔術は言い出し難くないかまたは生命保険金でないか両方だ fact11: この魔術は生命保険金でないかそれは出回り始めるかあるいは両方である fact12: この医務局は重たくないかあるいは減圧するか両方ともだ
fact4 & fact10 -> int1: この魔術はモダン・アートである; fact9 -> int2: この魔術はまだるっこしい; int1 & int2 -> int3: この魔術はモダン・アートであるしまだるっこしい; fact2 -> int4: もしこの魔術はモダン・アートでまたまだるっこしいとすればそれは反復しない; int3 & int4 -> hypothesis;
fact4 & fact10 -> int1: {B}{a}; fact9 -> int2: {A}{a}; int1 & int2 -> int3: ({B}{a} & {A}{a}); fact2 -> int4: ({B}{a} & {A}{a}) -> ¬{C}{a}; int3 & int4 -> hypothesis;
この魔術は十分過ぎないかあるいはそれは言い出し難くない
fact14 -> int5: もし仮に「この魔術は言い出し難くておまけにそれはまだるっこしい」ということは成り立たないとすれば「言い出し難くない」ということは確かだ;
$facts$ = fact1: 「そのアリアはモダン・アートであるかあるいはそれは近しい」ということは間違っていればこの魔術はモダン・アートであるということはない fact2: もし仮にモダン・アートがまだるっこしいなら反復しない fact3: この魔術は転用しないかあるいは姉妹都市提携であるということはないかもしくはどちらもである fact4: もしもこの魔術が言い出し難くないかそれは生命保険金だということはないかあるいは両方ともならばモダン・アートである fact5: もしその性的交わりがモダン・アートでないか自然らしくないかあるいは両方ともであるとしたら狙い易い fact6: もし仮に「そのアリアはまだるっこしいがしかしモダン・アートでない」ということは成り立つということはないとするとこの魔術は反復する fact7: もし話し易い物が検索サイトなら重たくない fact8: もし仮に「とある物は言い出し難いしまだるっこしい」ということは成り立つということはないとするとそれは言い出し難いということはない fact9: この魔術はまだるっこしいし近しい fact10: この魔術は言い出し難くないかまたは生命保険金でないか両方だ fact11: この魔術は生命保険金でないかそれは出回り始めるかあるいは両方である fact12: この医務局は重たくないかあるいは減圧するか両方ともだ ; $hypothesis$ = この魔術は反復する ; $proof$ = 
fact4 & fact10 -> int1: この魔術はモダン・アートである; fact9 -> int2: この魔術はまだるっこしい; int1 & int2 -> int3: この魔術はモダン・アートであるしまだるっこしい; fact2 -> int4: もしこの魔術はモダン・アートでまたまだるっこしいとすればそれは反復しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「そのアリアはモダン・アートであるかあるいはそれは近しい」ということは間違っていればこの魔術はモダン・アートであるということはない
事実2: もし仮にモダン・アートがまだるっこしいなら反復しない
事実3: この魔術は転用しないかあるいは姉妹都市提携であるということはないかもしくはどちらもである
事実4: もしもこの魔術が言い出し難くないかそれは生命保険金だということはないかあるいは両方ともならばモダン・アートである
事実5: もしその性的交わりがモダン・アートでないか自然らしくないかあるいは両方ともであるとしたら狙い易い
事実6: もし仮に「そのアリアはまだるっこしいがしかしモダン・アートでない」ということは成り立つということはないとするとこの魔術は反復する
事実7: もし話し易い物が検索サイトなら重たくない
事実8: もし仮に「とある物は言い出し難いしまだるっこしい」ということは成り立つということはないとするとそれは言い出し難いということはない
事実9: この魔術はまだるっこしいし近しい
事実10: この魔術は言い出し難くないかまたは生命保険金でないか両方だ
事実11: この魔術は生命保険金でないかそれは出回り始めるかあるいは両方である
事実12: この医務局は重たくないかあるいは減圧するか両方ともだ

仮説: この魔術は反復する
1. 事実4と事実10から、推論1: "この魔術はモダン・アートである"が導かれる
2. 事実9から、推論2: "この魔術はまだるっこしい"が導かれる
3. 推論1と推論2から、推論3: "この魔術はモダン・アートであるしまだるっこしい"が導かれる
4. 事実2から、推論4: "もしこの魔術はモダン・アートでまたまだるっこしいとすればそれは反復しない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。