「「もし恐れ慎むとしたら明らまない」物はある」ということは嘘だ
fact1: もしもなにがしかの物が恐れ慎むということはないならそれは崩し易くないかまたはそれは志向である fact2: もし仮に「あの当該銘柄は鶏レバーであるがしかし配属しない」ということは成り立たないとしたら鶏レバーであるということはない fact3: もし仮に何らかの物は崩し易いということはないか志向であるかあるいはどちらもであるとしたら崩し易いということはない fact4: 「あの当該銘柄は鶏レバーであるけれど配属するということはない」ということは間違っている fact5: もしあの当該銘柄が鶏レバーであるということはないならばその食材表面は実質金利でないけれど新肺動脈基部である fact6: もし仮になにがしかの物は実質金利であるということはないが新肺動脈基部ならば落下だ fact7: 仮にその食材表面が志向であるかまたはそれは恐れ慎むかまたは両方ともだとしたらそれは明らまない fact8: もし仮に「落下である」物があるとしたらあのベジタリアンは明らむ
void -> assump1: 以下のように仮定する。「その食材表面は恐れ慎む」ということは確かである; assump1 -> int1: その食材表面は志向であるかそれは恐れ慎む; int1 & fact7 -> int2: その食材表面は明らまない; [assump1] & int2 -> int3: もし仮にその食材表面は恐れ慎むとすれば「明らまない」ということは正しい; int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis;
あのベジタリアンは崩し易いということはない
fact10 -> int4: 仮にあのベジタリアンは崩し易いということはないかまたは志向であるかあるいは両方ならばそれは崩し易くない; fact14 -> int5: 「あのベジタリアンは恐れ慎まない」ということは成り立つとすれば崩し易くないかもしくはそれは志向であるかもしくはどちらもだ; fact9 -> int6: もし仮にその食材表面は実質金利でないけれど新肺動脈基部ならそれは落下である; fact12 & fact15 -> int7: あの当該銘柄は鶏レバーでない; fact11 & int7 -> int8: その食材表面は実質金利でないけどそれは新肺動脈基部である; int6 & int8 -> int9: その食材表面は落下である; int9 -> int10: なにがしかの物は落下である; int10 & fact13 -> int11: あのベジタリアンは明らむ;
$facts$ = fact1: もしもなにがしかの物が恐れ慎むということはないならそれは崩し易くないかまたはそれは志向である fact2: もし仮に「あの当該銘柄は鶏レバーであるがしかし配属しない」ということは成り立たないとしたら鶏レバーであるということはない fact3: もし仮に何らかの物は崩し易いということはないか志向であるかあるいはどちらもであるとしたら崩し易いということはない fact4: 「あの当該銘柄は鶏レバーであるけれど配属するということはない」ということは間違っている fact5: もしあの当該銘柄が鶏レバーであるということはないならばその食材表面は実質金利でないけれど新肺動脈基部である fact6: もし仮になにがしかの物は実質金利であるということはないが新肺動脈基部ならば落下だ fact7: 仮にその食材表面が志向であるかまたはそれは恐れ慎むかまたは両方ともだとしたらそれは明らまない fact8: もし仮に「落下である」物があるとしたらあのベジタリアンは明らむ ; $hypothesis$ = 「「もし恐れ慎むとしたら明らまない」物はある」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その食材表面は恐れ慎む」ということは確かである; assump1 -> int1: その食材表面は志向であるかそれは恐れ慎む; int1 & fact7 -> int2: その食材表面は明らまない; [assump1] & int2 -> int3: もし仮にその食材表面は恐れ慎むとすれば「明らまない」ということは正しい; int3 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が恐れ慎むということはないならそれは崩し易くないかまたはそれは志向である
事実2: もし仮に「あの当該銘柄は鶏レバーであるがしかし配属しない」ということは成り立たないとしたら鶏レバーであるということはない
事実3: もし仮に何らかの物は崩し易いということはないか志向であるかあるいはどちらもであるとしたら崩し易いということはない
事実4: 「あの当該銘柄は鶏レバーであるけれど配属するということはない」ということは間違っている
事実5: もしあの当該銘柄が鶏レバーであるということはないならばその食材表面は実質金利でないけれど新肺動脈基部である
事実6: もし仮になにがしかの物は実質金利であるということはないが新肺動脈基部ならば落下だ
事実7: 仮にその食材表面が志向であるかまたはそれは恐れ慎むかまたは両方ともだとしたらそれは明らまない
事実8: もし仮に「落下である」物があるとしたらあのベジタリアンは明らむ

仮説: 「「もし恐れ慎むとしたら明らまない」物はある」ということは嘘だ
1. 仮定1: 以下のように仮定する。「その食材表面は恐れ慎む」ということは確かである
2. 仮定1から、推論1: "その食材表面は志向であるかそれは恐れ慎む"が導かれる
3. 推論1と事実7から、推論2: "その食材表面は明らまない"が導かれる
4. [仮定1]と推論2から、推論3: "もし仮にその食材表面は恐れ慎むとすれば「明らまない」ということは正しい"が導かれる
5. 推論3から、仮説が否定される

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