この判定内容はＤＩＳだ
fact1: その兄ちゃん達が刈り取りであるならばこの判定内容はスキップしなくてその上それは刈り取りでない fact2: もし「そのアミ奉行は御寒い」ということは事実だとすればあの公開性は排気する fact3: もし仮にこの判定内容はスキップしないしそれに刈り取りでないならばそれはＤＩＳだ fact4: 仮に「その施策事例はゲット出来る」ということは成り立つとしたらその兄ちゃん達は楽し fact5: 仮に「そのアミ奉行は抽象絵画である」ということは間違いでないとすると「その公開性は排気する」ということは成り立つ fact6: もし仮にその施策事例がゲット出来るということはないとすればあのアミ奉行は御寒いか抽象絵画であるかもしくはどちらもだ fact7: 「この運転者以外は排気しない」ということは事実だ fact8: もし仮にその兄ちゃん達が楽しならそれは刈り取りである fact9: 「そのアミ奉行は楽し」ということは正しい fact10: 「その公開性は排気しない」ということは事実だ
void -> assump1: 以下のように仮定する。その施策事例はゲット出来ない; fact6 & assump1 -> int1: そのアミ奉行は御寒いかまたは抽象絵画だ; int1 & fact2 & fact5 -> int2: その公開性は排気する; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: その施策事例はゲット出来る; int4 & fact4 -> int5: その兄ちゃん達は楽し; int5 & fact8 -> int6: その兄ちゃん達は刈り取りである; int6 & fact1 -> int7: この判定内容はスキップするということはなくて刈り取りであるということはない; int7 & fact3 -> hypothesis;
$facts$ = fact1: その兄ちゃん達が刈り取りであるならばこの判定内容はスキップしなくてその上それは刈り取りでない fact2: もし「そのアミ奉行は御寒い」ということは事実だとすればあの公開性は排気する fact3: もし仮にこの判定内容はスキップしないしそれに刈り取りでないならばそれはＤＩＳだ fact4: 仮に「その施策事例はゲット出来る」ということは成り立つとしたらその兄ちゃん達は楽し fact5: 仮に「そのアミ奉行は抽象絵画である」ということは間違いでないとすると「その公開性は排気する」ということは成り立つ fact6: もし仮にその施策事例がゲット出来るということはないとすればあのアミ奉行は御寒いか抽象絵画であるかもしくはどちらもだ fact7: 「この運転者以外は排気しない」ということは事実だ fact8: もし仮にその兄ちゃん達が楽しならそれは刈り取りである fact9: 「そのアミ奉行は楽し」ということは正しい fact10: 「その公開性は排気しない」ということは事実だ ; $hypothesis$ = この判定内容はＤＩＳだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その施策事例はゲット出来ない; fact6 & assump1 -> int1: そのアミ奉行は御寒いかまたは抽象絵画だ; int1 & fact2 & fact5 -> int2: その公開性は排気する; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: その施策事例はゲット出来る; int4 & fact4 -> int5: その兄ちゃん達は楽し; int5 & fact8 -> int6: その兄ちゃん達は刈り取りである; int6 & fact1 -> int7: この判定内容はスキップするということはなくて刈り取りであるということはない; int7 & fact3 -> hypothesis; __PROVED__
事実1: その兄ちゃん達が刈り取りであるならばこの判定内容はスキップしなくてその上それは刈り取りでない
事実2: もし「そのアミ奉行は御寒い」ということは事実だとすればあの公開性は排気する
事実3: もし仮にこの判定内容はスキップしないしそれに刈り取りでないならばそれはＤＩＳだ
事実4: 仮に「その施策事例はゲット出来る」ということは成り立つとしたらその兄ちゃん達は楽し
事実5: 仮に「そのアミ奉行は抽象絵画である」ということは間違いでないとすると「その公開性は排気する」ということは成り立つ
事実6: もし仮にその施策事例がゲット出来るということはないとすればあのアミ奉行は御寒いか抽象絵画であるかもしくはどちらもだ
事実7: 「この運転者以外は排気しない」ということは事実だ
事実8: もし仮にその兄ちゃん達が楽しならそれは刈り取りである
事実9: 「そのアミ奉行は楽し」ということは正しい
事実10: 「その公開性は排気しない」ということは事実だ

仮説: この判定内容はＤＩＳだ
1. 仮定1: 以下のように仮定する。その施策事例はゲット出来ない
2. 事実6と仮定1から、推論1: "そのアミ奉行は御寒いかまたは抽象絵画だ"が導かれる
3. 推論1と事実2と事実5から、推論2: "その公開性は排気する"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その施策事例はゲット出来る"が導かれる
6. 推論4と事実4から、推論5: "その兄ちゃん達は楽し"が導かれる
7. 推論5と事実8から、推論6: "その兄ちゃん達は刈り取りである"が導かれる
8. 推論6と事実1から、推論7: "この判定内容はスキップするということはなくて刈り取りであるということはない"が導かれる
9. 推論7と事実3から、仮説が導かれる

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