あの禁止命令は市町村民税でない
fact1: 「揺れ出すしそれにマオイストでない」ものはある fact2: もしその十時頃がダウンロードするとすればそれはマオイストでなくて薙ぎ払う fact3: もし仮にあの禁止命令は汚れ易いとすると「その十時頃は催しである」ということは成り立つ fact4: その十時頃はダウンロードする fact5: この教えは催しであるということはない fact6: もしあの禁止命令が揺れ出すとすればその司法書士訴訟は汚れ易い fact7: 仮にその十時頃がマオイストでないけどそれが薙ぎ払えばあの禁止命令は催しでない fact8: 仮にあのスムマは催しでないとしたら「その十時頃は粘っこくない一方で汚れ易い」ということは間違いである fact9: あの禁止命令は気持ち良くない fact10: もしあの禁止命令が汚れ易いならその司法書士訴訟は汚れ易い fact11: もしもなにがしかのものが催しでないとすれば汚れ易いかもしくは揺れ出すかもしくは両方ともである fact12: あの禁止命令は環境物品等でない fact13: 「あの禁止命令は見られ易いということはない」ということは正しい fact14: この化学成分は市町村民税でない fact15: もし仮にあの禁止命令が粘っこくないけれどそれが市町村民税ならば汚れ易い fact16: もし仮に気持ち良いということはない物が見られ易くないとしたら粘っこくない fact17: その十時頃は催しでない
fact9 & fact13 -> int1: あの禁止命令は気持ち良くなくて見られ易くない; fact16 -> int2: あの禁止命令が気持ち良くなくて更にそれが見られ易くないならそれは粘っこくない; int1 & int2 -> int3: あの禁止命令は粘っこくない; void -> assump1: 以下のように仮定する。あの禁止命令は市町村民税だ; int3 & assump1 -> int4: あの禁止命令は粘っこくないが市町村民税である; int4 & fact15 -> int5: 「あの禁止命令は汚れ易い」ということは確かだ; int5 & fact3 -> int6: その十時頃は催しだ; int6 & fact17 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その司法書士訴訟は粘っこい
fact19 -> int8: 仮にあの禁止命令が催しでないとすると汚れ易いかそれは揺れ出す; fact18 & fact21 -> int9: その十時頃はマオイストでないがしかし薙ぎ払う; fact20 & int9 -> int10: あの禁止命令は催しでない; int8 & int10 -> int11: あの禁止命令は汚れ易いか揺れ出す; int11 & fact23 & fact22 -> int12: その司法書士訴訟は汚れ易い; int12 -> int13: その司法書士訴訟は市町村民税であるか汚れ易いかまたは両方だ;
$facts$ = fact1: 「揺れ出すしそれにマオイストでない」ものはある fact2: もしその十時頃がダウンロードするとすればそれはマオイストでなくて薙ぎ払う fact3: もし仮にあの禁止命令は汚れ易いとすると「その十時頃は催しである」ということは成り立つ fact4: その十時頃はダウンロードする fact5: この教えは催しであるということはない fact6: もしあの禁止命令が揺れ出すとすればその司法書士訴訟は汚れ易い fact7: 仮にその十時頃がマオイストでないけどそれが薙ぎ払えばあの禁止命令は催しでない fact8: 仮にあのスムマは催しでないとしたら「その十時頃は粘っこくない一方で汚れ易い」ということは間違いである fact9: あの禁止命令は気持ち良くない fact10: もしあの禁止命令が汚れ易いならその司法書士訴訟は汚れ易い fact11: もしもなにがしかのものが催しでないとすれば汚れ易いかもしくは揺れ出すかもしくは両方ともである fact12: あの禁止命令は環境物品等でない fact13: 「あの禁止命令は見られ易いということはない」ということは正しい fact14: この化学成分は市町村民税でない fact15: もし仮にあの禁止命令が粘っこくないけれどそれが市町村民税ならば汚れ易い fact16: もし仮に気持ち良いということはない物が見られ易くないとしたら粘っこくない fact17: その十時頃は催しでない ; $hypothesis$ = あの禁止命令は市町村民税でない ; $proof$ = 
fact9 & fact13 -> int1: あの禁止命令は気持ち良くなくて見られ易くない; fact16 -> int2: あの禁止命令が気持ち良くなくて更にそれが見られ易くないならそれは粘っこくない; int1 & int2 -> int3: あの禁止命令は粘っこくない; void -> assump1: 以下のように仮定する。あの禁止命令は市町村民税だ; int3 & assump1 -> int4: あの禁止命令は粘っこくないが市町村民税である; int4 & fact15 -> int5: 「あの禁止命令は汚れ易い」ということは確かだ; int5 & fact3 -> int6: その十時頃は催しだ; int6 & fact17 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「揺れ出すしそれにマオイストでない」ものはある
事実2: もしその十時頃がダウンロードするとすればそれはマオイストでなくて薙ぎ払う
事実3: もし仮にあの禁止命令は汚れ易いとすると「その十時頃は催しである」ということは成り立つ
事実4: その十時頃はダウンロードする
事実5: この教えは催しであるということはない
事実6: もしあの禁止命令が揺れ出すとすればその司法書士訴訟は汚れ易い
事実7: 仮にその十時頃がマオイストでないけどそれが薙ぎ払えばあの禁止命令は催しでない
事実8: 仮にあのスムマは催しでないとしたら「その十時頃は粘っこくない一方で汚れ易い」ということは間違いである
事実9: あの禁止命令は気持ち良くない
事実10: もしあの禁止命令が汚れ易いならその司法書士訴訟は汚れ易い
事実11: もしもなにがしかのものが催しでないとすれば汚れ易いかもしくは揺れ出すかもしくは両方ともである
事実12: あの禁止命令は環境物品等でない
事実13: 「あの禁止命令は見られ易いということはない」ということは正しい
事実14: この化学成分は市町村民税でない
事実15: もし仮にあの禁止命令が粘っこくないけれどそれが市町村民税ならば汚れ易い
事実16: もし仮に気持ち良いということはない物が見られ易くないとしたら粘っこくない
事実17: その十時頃は催しでない

仮説: あの禁止命令は市町村民税でない
1. 事実9と事実13から、推論1: "あの禁止命令は気持ち良くなくて見られ易くない"が導かれる
2. 事実16から、推論2: "あの禁止命令が気持ち良くなくて更にそれが見られ易くないならそれは粘っこくない"が導かれる
3. 推論1と推論2から、推論3: "あの禁止命令は粘っこくない"が導かれる
4. 仮定1: 以下のように仮定する。あの禁止命令は市町村民税だ
5. 推論3と仮定1から、推論4: "あの禁止命令は粘っこくないが市町村民税である"が導かれる
6. 推論4と事実15から、推論5: "「あの禁止命令は汚れ易い」ということは確かだ"が導かれる
7. 推論5と事実3から、推論6: "その十時頃は催しだ"が導かれる
8. 推論6と事実17から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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