その酸化アルミニウムは勿体無いがしかし断定し難くない
fact1: もしもあの鉄板焼きがＧＡＴＴルールであるとしたらその酸化アルミニウムは勿体無いけど物流問題であるということはない fact2: その酸化アルミニウムは勿体無いが断定し難くない fact3: その酸化アルミニウムは連想し易いけどそれは偏心するということはない fact4: その酸化アルミニウムは仕方無し fact5: その酸化アルミニウムはとろいけれどそれは偏心しない fact6: 仮になんらかの物はＧＡＴＴルールでないとしたら「勿体無いしそれは断定し難くない」ということは成り立たない fact7: あの量的研究は勿体無い fact8: その酸化アルミニウムは勿体無い fact9: その酸化アルミニウムは形成され易い fact10: その御墨付は勿体無い
fact2 -> hypothesis;
fact2 -> hypothesis;
「その酸化アルミニウムは勿体無いけれど断定し難くない」ということは偽である
fact11 -> int1: その酸化アルミニウムはＧＡＴＴルールでないなら「勿体無いしそれは断定し難くない」ということは正しくない;
$facts$ = fact1: もしもあの鉄板焼きがＧＡＴＴルールであるとしたらその酸化アルミニウムは勿体無いけど物流問題であるということはない fact2: その酸化アルミニウムは勿体無いが断定し難くない fact3: その酸化アルミニウムは連想し易いけどそれは偏心するということはない fact4: その酸化アルミニウムは仕方無し fact5: その酸化アルミニウムはとろいけれどそれは偏心しない fact6: 仮になんらかの物はＧＡＴＴルールでないとしたら「勿体無いしそれは断定し難くない」ということは成り立たない fact7: あの量的研究は勿体無い fact8: その酸化アルミニウムは勿体無い fact9: その酸化アルミニウムは形成され易い fact10: その御墨付は勿体無い ; $hypothesis$ = その酸化アルミニウムは勿体無いがしかし断定し難くない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあの鉄板焼きがＧＡＴＴルールであるとしたらその酸化アルミニウムは勿体無いけど物流問題であるということはない
事実2: その酸化アルミニウムは勿体無いが断定し難くない
事実3: その酸化アルミニウムは連想し易いけどそれは偏心するということはない
事実4: その酸化アルミニウムは仕方無し
事実5: その酸化アルミニウムはとろいけれどそれは偏心しない
事実6: 仮になんらかの物はＧＡＴＴルールでないとしたら「勿体無いしそれは断定し難くない」ということは成り立たない
事実7: あの量的研究は勿体無い
事実8: その酸化アルミニウムは勿体無い
事実9: その酸化アルミニウムは形成され易い
事実10: その御墨付は勿体無い

仮説: その酸化アルミニウムは勿体無いがしかし断定し難くない
1. 事実2から、仮説が導かれる

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