その臭さは解体する
fact1: すべては褒め上げる fact2: その喫煙行動はやんごとないということはない fact3: もし仮にその臭さが解体するならばあのオモニ学校は祈祷する fact4: その喫煙行動は捨受でない fact5: このオモニ学校は褒め上げる fact6: もし仮に何かは解体するけど祈祷しないならばそれは分節化しない fact7: もし仮にこのオモニ学校が祈祷するとすればその喫煙行動は程遠い fact8: その面取りは解体する fact9: 「その喫煙行動はしぶといかあるいは扱えるかまたは両方だ」ということは真実である fact10: 仮にその喫煙行動が青臭いかあるいはそれが住み込むかどちらもだとすればその面取りは褒め上げない fact11: このオモニ学校は再整備しない fact12: 仮にその喫煙行動が再整備するとすると青臭い fact13: このオモニ学校は青臭くない fact14: もしその喫煙行動が程遠いなら再整備する fact15: もし仮に何らかのものが祈祷すれば解体する fact16: その臭さは程遠くない fact17: その面取りは祈祷する fact18: その喫煙行動が褒め上げるとしたらその面取りは青臭い fact19: その臭さは解体するかまたはそれは青臭いか両方である fact20: その面取りは程遠い fact21: もしその面取りが程遠いとしたらその喫煙行動は褒め上げる fact22: 「その面取りは青臭い」ということは真実だ fact23: 仮に「このオモニ学校は青臭いしそれに住み込む」ということは成り立たないとするとその臭さは再整備しない fact24: もし仮にその喫煙行動が祈祷するとしたらこのオモニ学校は程遠い fact25: その国家建設は程遠い fact26: もしもこのオモニ学校は褒め上げないなら「青臭くて更に住み込む」ということは成り立たない
void -> assump1: 以下のように仮定する。その臭さは解体する; fact3 & assump1 -> int1: このオモニ学校は祈祷する; int1 & fact7 -> int2: その喫煙行動は程遠い; int2 & fact14 -> int3: その喫煙行動は再整備する; int3 & fact12 -> int4: その喫煙行動は青臭い; int4 -> int5: その喫煙行動は青臭いかもしくは住み込むかあるいは両方ともだ; int5 & fact10 -> int6: その面取りは褒め上げない; fact1 -> int7: その面取りは褒め上げる; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
このオモニ学校は分節化しない
fact27 -> int9: もしもこのオモニ学校は解体するが祈祷しないならそれは分節化しない;
$facts$ = fact1: すべては褒め上げる fact2: その喫煙行動はやんごとないということはない fact3: もし仮にその臭さが解体するならばあのオモニ学校は祈祷する fact4: その喫煙行動は捨受でない fact5: このオモニ学校は褒め上げる fact6: もし仮に何かは解体するけど祈祷しないならばそれは分節化しない fact7: もし仮にこのオモニ学校が祈祷するとすればその喫煙行動は程遠い fact8: その面取りは解体する fact9: 「その喫煙行動はしぶといかあるいは扱えるかまたは両方だ」ということは真実である fact10: 仮にその喫煙行動が青臭いかあるいはそれが住み込むかどちらもだとすればその面取りは褒め上げない fact11: このオモニ学校は再整備しない fact12: 仮にその喫煙行動が再整備するとすると青臭い fact13: このオモニ学校は青臭くない fact14: もしその喫煙行動が程遠いなら再整備する fact15: もし仮に何らかのものが祈祷すれば解体する fact16: その臭さは程遠くない fact17: その面取りは祈祷する fact18: その喫煙行動が褒め上げるとしたらその面取りは青臭い fact19: その臭さは解体するかまたはそれは青臭いか両方である fact20: その面取りは程遠い fact21: もしその面取りが程遠いとしたらその喫煙行動は褒め上げる fact22: 「その面取りは青臭い」ということは真実だ fact23: 仮に「このオモニ学校は青臭いしそれに住み込む」ということは成り立たないとするとその臭さは再整備しない fact24: もし仮にその喫煙行動が祈祷するとしたらこのオモニ学校は程遠い fact25: その国家建設は程遠い fact26: もしもこのオモニ学校は褒め上げないなら「青臭くて更に住み込む」ということは成り立たない ; $hypothesis$ = その臭さは解体する ; $proof$ = 
void -> assump1: 以下のように仮定する。その臭さは解体する; fact3 & assump1 -> int1: このオモニ学校は祈祷する; int1 & fact7 -> int2: その喫煙行動は程遠い; int2 & fact14 -> int3: その喫煙行動は再整備する; int3 & fact12 -> int4: その喫煙行動は青臭い; int4 -> int5: その喫煙行動は青臭いかもしくは住み込むかあるいは両方ともだ; int5 & fact10 -> int6: その面取りは褒め上げない; fact1 -> int7: その面取りは褒め上げる; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: すべては褒め上げる
事実2: その喫煙行動はやんごとないということはない
事実3: もし仮にその臭さが解体するならばあのオモニ学校は祈祷する
事実4: その喫煙行動は捨受でない
事実5: このオモニ学校は褒め上げる
事実6: もし仮に何かは解体するけど祈祷しないならばそれは分節化しない
事実7: もし仮にこのオモニ学校が祈祷するとすればその喫煙行動は程遠い
事実8: その面取りは解体する
事実9: 「その喫煙行動はしぶといかあるいは扱えるかまたは両方だ」ということは真実である
事実10: 仮にその喫煙行動が青臭いかあるいはそれが住み込むかどちらもだとすればその面取りは褒め上げない
事実11: このオモニ学校は再整備しない
事実12: 仮にその喫煙行動が再整備するとすると青臭い
事実13: このオモニ学校は青臭くない
事実14: もしその喫煙行動が程遠いなら再整備する
事実15: もし仮に何らかのものが祈祷すれば解体する
事実16: その臭さは程遠くない
事実17: その面取りは祈祷する
事実18: その喫煙行動が褒め上げるとしたらその面取りは青臭い
事実19: その臭さは解体するかまたはそれは青臭いか両方である
事実20: その面取りは程遠い
事実21: もしその面取りが程遠いとしたらその喫煙行動は褒め上げる
事実22: 「その面取りは青臭い」ということは真実だ
事実23: 仮に「このオモニ学校は青臭いしそれに住み込む」ということは成り立たないとするとその臭さは再整備しない
事実24: もし仮にその喫煙行動が祈祷するとしたらこのオモニ学校は程遠い
事実25: その国家建設は程遠い
事実26: もしもこのオモニ学校は褒め上げないなら「青臭くて更に住み込む」ということは成り立たない

仮説: その臭さは解体する
1. 仮定1: 以下のように仮定する。その臭さは解体する
2. 事実3と仮定1から、推論1: "このオモニ学校は祈祷する"が導かれる
3. 推論1と事実7から、推論2: "その喫煙行動は程遠い"が導かれる
4. 推論2と事実14から、推論3: "その喫煙行動は再整備する"が導かれる
5. 推論3と事実12から、推論4: "その喫煙行動は青臭い"が導かれる
6. 推論4から、推論5: "その喫煙行動は青臭いかもしくは住み込むかあるいは両方ともだ"が導かれる
7. 推論5と事実10から、推論6: "その面取りは褒め上げない"が導かれる
8. 事実1から、推論7: "その面取りは褒め上げる"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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