あの日本美術史は万証券でない
fact1: もし仮にあの日本美術史が変え難いとすればあの敗走は消化酵素だ fact2: もしあの不規則動詞は慎み深いとすれば「あの日本美術史は取り引き経過だけれど万証券でない」ということは偽である fact3: 「万証券であるかまたは変え難いかどちらもである」物はある fact4: この敗走は取り引き経過だ fact5: もし「変え難いかもしくは取り引き経過であるか両方である」物があるとするとあの日本美術史は万証券だ fact6: 仮にこの敗走が取り引き経過でないがしかし変え難いとするとあの日本美術史は万証券でない
fact4 -> int1: この敗走は変え難いかもしくは取り引き経過だ; int1 -> int2: 「変え難いか取り引き経過であるかあるいはどちらもな」ものはある; int2 & fact5 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact5 -> hypothesis;
とあるものは捜し当てるかあるいは消化酵素であるかあるいは両方だ
$facts$ = fact1: もし仮にあの日本美術史が変え難いとすればあの敗走は消化酵素だ fact2: もしあの不規則動詞は慎み深いとすれば「あの日本美術史は取り引き経過だけれど万証券でない」ということは偽である fact3: 「万証券であるかまたは変え難いかどちらもである」物はある fact4: この敗走は取り引き経過だ fact5: もし「変え難いかもしくは取り引き経過であるか両方である」物があるとするとあの日本美術史は万証券だ fact6: 仮にこの敗走が取り引き経過でないがしかし変え難いとするとあの日本美術史は万証券でない ; $hypothesis$ = あの日本美術史は万証券でない ; $proof$ = 
fact4 -> int1: この敗走は変え難いかもしくは取り引き経過だ; int1 -> int2: 「変え難いか取り引き経過であるかあるいはどちらもな」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの日本美術史が変え難いとすればあの敗走は消化酵素だ
事実2: もしあの不規則動詞は慎み深いとすれば「あの日本美術史は取り引き経過だけれど万証券でない」ということは偽である
事実3: 「万証券であるかまたは変え難いかどちらもである」物はある
事実4: この敗走は取り引き経過だ
事実5: もし「変え難いかもしくは取り引き経過であるか両方である」物があるとするとあの日本美術史は万証券だ
事実6: 仮にこの敗走が取り引き経過でないがしかし変え難いとするとあの日本美術史は万証券でない

仮説: あの日本美術史は万証券でない
1. 事実4から、推論1: "この敗走は変え難いかもしくは取り引き経過だ"が導かれる
2. 推論1から、推論2: "「変え難いか取り引き経過であるかあるいはどちらもな」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

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