「「敬神であるかもしくは最小化する」物はある」ということは間違いである
fact1: あの軽業は最小化する fact2: もしもなにかは注進しないとすると「それはがめついしその上再出発する」ということは成り立たない fact3: 「あの内容スケール上は女らしいかまたは敬神である」ということは確かである fact4: もし「このピッチ知覚はがめついしそれにそれは再出発する」ということは誤っていればぼろくない fact5: 仮に何らかの物がぼろいということはないとすると最小化するしさらにそれはソースだ
fact1 -> int1: あの軽業は敬神であるかもしくは最小化するかまたは両方ともである; int1 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> hypothesis;
このピッチ知覚はソースであるかあるいは敬神だ
fact6 -> int2: このピッチ知覚がぼろくないとすればそれは最小化するしそれはソースである; fact8 -> int3: もし仮にこのピッチ知覚は注進しないとすれば「がめついししかも再出発する」ということは偽である;
$facts$ = fact1: あの軽業は最小化する fact2: もしもなにかは注進しないとすると「それはがめついしその上再出発する」ということは成り立たない fact3: 「あの内容スケール上は女らしいかまたは敬神である」ということは確かである fact4: もし「このピッチ知覚はがめついしそれにそれは再出発する」ということは誤っていればぼろくない fact5: 仮に何らかの物がぼろいということはないとすると最小化するしさらにそれはソースだ ; $hypothesis$ = 「「敬神であるかもしくは最小化する」物はある」ということは間違いである ; $proof$ = 
fact1 -> int1: あの軽業は敬神であるかもしくは最小化するかまたは両方ともである; int1 -> hypothesis; __DISPROVED__
事実1: あの軽業は最小化する
事実2: もしもなにかは注進しないとすると「それはがめついしその上再出発する」ということは成り立たない
事実3: 「あの内容スケール上は女らしいかまたは敬神である」ということは確かである
事実4: もし「このピッチ知覚はがめついしそれにそれは再出発する」ということは誤っていればぼろくない
事実5: 仮に何らかの物がぼろいということはないとすると最小化するしさらにそれはソースだ

仮説: 「「敬神であるかもしくは最小化する」物はある」ということは間違いである
1. 事実1から、推論1: "あの軽業は敬神であるかもしくは最小化するかまたは両方ともである"が導かれる
2. 推論1から、仮説が否定される

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