あの実績は小麦栽培でない
fact1: 「あの実績が手段であるならばあの実績は小麦栽培でない」ということは成り立つ fact2: あの実績は併記するしまた退位する fact3: もしもあの実績が手段であるかまたは併記すれば小麦栽培でない fact4: 仮にあの実績が小麦栽培だとするとそれは誤解され易い fact5: あの実績は退位する fact6: もしあの実績が誤解され易いかあるいは手段であるとすればその応用的研究は手段だということはない
fact2 -> int1: あの実績は併記する; int1 -> int2: あの実績は手段であるかそれは併記する; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact3 -> hypothesis;
その応用的研究は併記する
$facts$ = fact1: 「あの実績が手段であるならばあの実績は小麦栽培でない」ということは成り立つ fact2: あの実績は併記するしまた退位する fact3: もしもあの実績が手段であるかまたは併記すれば小麦栽培でない fact4: 仮にあの実績が小麦栽培だとするとそれは誤解され易い fact5: あの実績は退位する fact6: もしあの実績が誤解され易いかあるいは手段であるとすればその応用的研究は手段だということはない ; $hypothesis$ = あの実績は小麦栽培でない ; $proof$ = 
fact2 -> int1: あの実績は併記する; int1 -> int2: あの実績は手段であるかそれは併記する; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「あの実績が手段であるならばあの実績は小麦栽培でない」ということは成り立つ
事実2: あの実績は併記するしまた退位する
事実3: もしもあの実績が手段であるかまたは併記すれば小麦栽培でない
事実4: 仮にあの実績が小麦栽培だとするとそれは誤解され易い
事実5: あの実績は退位する
事実6: もしあの実績が誤解され易いかあるいは手段であるとすればその応用的研究は手段だということはない

仮説: あの実績は小麦栽培でない
1. 事実2から、推論1: "あの実績は併記する"が導かれる
2. 推論1から、推論2: "あの実績は手段であるかそれは併記する"が導かれる
3. 推論2と事実3から、仮説が導かれる

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