「仮にＰＤＳだとすれば「囁き合わなくてかつ心深くない」ということは嘘である」物はある
fact1: 「その国語辞典は囁き合うがしかしそれは心深くない」ということは嘘である fact2: もしもとあるものはマクロウイルスでないならば「囁き合わなくてまた心深くない」ということは成り立たない fact3: その進軍が売り掛け債権ならその国語辞典は魔神共である fact4: その進軍は狙い易いかもしくは売り掛け債権である fact5: 仮に魔神共がＰＤＳだとするとそれはマクロウイルスでない fact6: もし仮に「何らかのものはマクロウイルスでない」ということは確かだとすれば「それは囁き合わないがしかし心深し」ということは間違っている fact7: もし仮にその進軍が狙い易いとすればその国語辞典は魔神共だ fact8: もしも「その国語辞典は囁き合うということはない」ということは事実と異なるということはないとしたら「売り掛け債権でなくて狙い易い」ということは事実と異なる
fact4 & fact7 & fact3 -> int1: その国語辞典は魔神共だ; void -> assump1: 以下のように仮定する。「その国語辞典はＰＤＳだ」ということは成り立つ; int1 & assump1 -> int2: その国語辞典は魔神共であるし加えてＰＤＳだ; fact5 -> int3: 「仮にその国語辞典が魔神共でそれにＰＤＳだとするとその国語辞典はマクロウイルスでない」ということは成り立つ; int2 & int3 -> int4: その国語辞典はマクロウイルスでない; fact2 -> int5: その国語辞典はマクロウイルスでないとすれば「囁き合わないしさらに心深くない」ということは誤っている; int4 & int5 -> int6: 「その国語辞典は囁き合うということはなくてそれに心深くない」ということは嘘である; [assump1] & int6 -> int7: 仮にその国語辞典はＰＤＳであるならば「それは囁き合わなくて心深くない」ということは誤りだ; int7 -> hypothesis;
$facts$ = fact1: 「その国語辞典は囁き合うがしかしそれは心深くない」ということは嘘である fact2: もしもとあるものはマクロウイルスでないならば「囁き合わなくてまた心深くない」ということは成り立たない fact3: その進軍が売り掛け債権ならその国語辞典は魔神共である fact4: その進軍は狙い易いかもしくは売り掛け債権である fact5: 仮に魔神共がＰＤＳだとするとそれはマクロウイルスでない fact6: もし仮に「何らかのものはマクロウイルスでない」ということは確かだとすれば「それは囁き合わないがしかし心深し」ということは間違っている fact7: もし仮にその進軍が狙い易いとすればその国語辞典は魔神共だ fact8: もしも「その国語辞典は囁き合うということはない」ということは事実と異なるということはないとしたら「売り掛け債権でなくて狙い易い」ということは事実と異なる ; $hypothesis$ = 「仮にＰＤＳだとすれば「囁き合わなくてかつ心深くない」ということは嘘である」物はある ; $proof$ = 
fact4 & fact7 & fact3 -> int1: その国語辞典は魔神共だ; void -> assump1: 以下のように仮定する。「その国語辞典はＰＤＳだ」ということは成り立つ; int1 & assump1 -> int2: その国語辞典は魔神共であるし加えてＰＤＳだ; fact5 -> int3: 「仮にその国語辞典が魔神共でそれにＰＤＳだとするとその国語辞典はマクロウイルスでない」ということは成り立つ; int2 & int3 -> int4: その国語辞典はマクロウイルスでない; fact2 -> int5: その国語辞典はマクロウイルスでないとすれば「囁き合わないしさらに心深くない」ということは誤っている; int4 & int5 -> int6: 「その国語辞典は囁き合うということはなくてそれに心深くない」ということは嘘である; [assump1] & int6 -> int7: 仮にその国語辞典はＰＤＳであるならば「それは囁き合わなくて心深くない」ということは誤りだ; int7 -> hypothesis; __PROVED__
事実1: 「その国語辞典は囁き合うがしかしそれは心深くない」ということは嘘である
事実2: もしもとあるものはマクロウイルスでないならば「囁き合わなくてまた心深くない」ということは成り立たない
事実3: その進軍が売り掛け債権ならその国語辞典は魔神共である
事実4: その進軍は狙い易いかもしくは売り掛け債権である
事実5: 仮に魔神共がＰＤＳだとするとそれはマクロウイルスでない
事実6: もし仮に「何らかのものはマクロウイルスでない」ということは確かだとすれば「それは囁き合わないがしかし心深し」ということは間違っている
事実7: もし仮にその進軍が狙い易いとすればその国語辞典は魔神共だ
事実8: もしも「その国語辞典は囁き合うということはない」ということは事実と異なるということはないとしたら「売り掛け債権でなくて狙い易い」ということは事実と異なる

仮説: 「仮にＰＤＳだとすれば「囁き合わなくてかつ心深くない」ということは嘘である」物はある
1. 事実4と事実7と事実3から、推論1: "その国語辞典は魔神共だ"が導かれる
2. 仮定1: 以下のように仮定する。「その国語辞典はＰＤＳだ」ということは成り立つ
3. 推論1と仮定1から、推論2: "その国語辞典は魔神共であるし加えてＰＤＳだ"が導かれる
4. 事実5から、推論3: "「仮にその国語辞典が魔神共でそれにＰＤＳだとするとその国語辞典はマクロウイルスでない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "その国語辞典はマクロウイルスでない"が導かれる
6. 事実2から、推論5: "その国語辞典はマクロウイルスでないとすれば「囁き合わないしさらに心深くない」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "「その国語辞典は囁き合うということはなくてそれに心深くない」ということは嘘である"が導かれる
8. [仮定1]と推論6から、推論7: "仮にその国語辞典はＰＤＳであるならば「それは囁き合わなくて心深くない」ということは誤りだ"が導かれる
9. 推論7から、仮説が導かれる

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