「「もし仮に「避け難くないかもしくは噛み潰すかもしくは両方ともだ」ということは嘘だとしたらエッセンスでない」物はある」ということは嘘だ
fact1: 仮に「何かは避け難いかもしくはそれは噛み潰すかもしくはどちらもだ」ということは真実でないとするとそれはエッセンスでない fact2: もしも「なにがしかのものは避け難くないかあるいは噛み潰す」ということは嘘だとすればそれはエッセンスでない fact3: 「もしも「利用し難いということはないかあるいは御宅であるか両方だ」ということは成り立たないなら収納しない」物はある fact4: もしも「その戦争機械は避け難いかもしくは噛み潰すか両方だ」ということは成り立つということはないならエッセンスでない fact5: 「「もし避け難いということはないかあるいは噛み潰すとしたらエッセンスでない」ものはある」ということは成り立つ fact6: もし「なにかは避け難くないかあるいは噛み潰すかまたは両方ともだ」ということは事実と異なればそれはエッセンスである fact7: もし仮に何かは避け難いということはないかあるいはそれが噛み潰すならそれはエッセンスでない
fact2 -> int1: 「その戦争機械は避け難くないかあるいは噛み潰すかまたは両方である」ということは間違っているとしたらエッセンスでない; int1 -> hypothesis;
$facts$ = fact1: 仮に「何かは避け難いかもしくはそれは噛み潰すかもしくはどちらもだ」ということは真実でないとするとそれはエッセンスでない fact2: もしも「なにがしかのものは避け難くないかあるいは噛み潰す」ということは嘘だとすればそれはエッセンスでない fact3: 「もしも「利用し難いということはないかあるいは御宅であるか両方だ」ということは成り立たないなら収納しない」物はある fact4: もしも「その戦争機械は避け難いかもしくは噛み潰すか両方だ」ということは成り立つということはないならエッセンスでない fact5: 「「もし避け難いということはないかあるいは噛み潰すとしたらエッセンスでない」ものはある」ということは成り立つ fact6: もし「なにかは避け難くないかあるいは噛み潰すかまたは両方ともだ」ということは事実と異なればそれはエッセンスである fact7: もし仮に何かは避け難いということはないかあるいはそれが噛み潰すならそれはエッセンスでない ; $hypothesis$ = 「「もし仮に「避け難くないかもしくは噛み潰すかもしくは両方ともだ」ということは嘘だとしたらエッセンスでない」物はある」ということは嘘だ ; $proof$ = 
fact2 -> int1: 「その戦争機械は避け難くないかあるいは噛み潰すかまたは両方である」ということは間違っているとしたらエッセンスでない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「何かは避け難いかもしくはそれは噛み潰すかもしくはどちらもだ」ということは真実でないとするとそれはエッセンスでない
事実2: もしも「なにがしかのものは避け難くないかあるいは噛み潰す」ということは嘘だとすればそれはエッセンスでない
事実3: 「もしも「利用し難いということはないかあるいは御宅であるか両方だ」ということは成り立たないなら収納しない」物はある
事実4: もしも「その戦争機械は避け難いかもしくは噛み潰すか両方だ」ということは成り立つということはないならエッセンスでない
事実5: 「「もし避け難いということはないかあるいは噛み潰すとしたらエッセンスでない」ものはある」ということは成り立つ
事実6: もし「なにかは避け難くないかあるいは噛み潰すかまたは両方ともだ」ということは事実と異なればそれはエッセンスである
事実7: もし仮に何かは避け難いということはないかあるいはそれが噛み潰すならそれはエッセンスでない

仮説: 「「もし仮に「避け難くないかもしくは噛み潰すかもしくは両方ともだ」ということは嘘だとしたらエッセンスでない」物はある」ということは嘘だ
1. 事実2から、推論1: "「その戦争機械は避け難くないかあるいは噛み潰すかまたは両方である」ということは間違っているとしたらエッセンスでない"が導かれる
2. 推論1から、仮説が否定される

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