その固体レーザーは久しということはない
fact1: もし「あのテラスは経済的ロット量である」ということは誤りでないとすればこの水平・垂直線は飽き飽きする fact2: あのテラスが移動だとするとそれは経済的ロット量である fact3: もし仮にその文字言語は如此しならば「経済的ロット量でなくてそれは煙たくない」ということは間違いだ fact4: もしもこの水平・垂直線は煙たいならば「それは如此しがしかし唸らさない」ということは成り立たない fact5: もし「その木々達は押し易い」ということは成り立つとしたら「そのバッチは軽い」ということは正しい fact6: あのテラスは移動だ fact7: 「なんらかのものは如此しがしかし唸らさない」ということは事実と異なるとするとそれは唸らす fact8: あの所期は開基であるがそれはいみじない fact9: もし仮にその木々達がインド洋交易であるならその固体レーザーはインド洋交易だ fact10: もしも何らかの物がプロらしくないならばインド洋交易であるしおまけに軽い fact11: その木々達は押し易くてそれはインド洋交易である fact12: もしもその固体レーザーが軽いならばその木々達はインド洋交易である fact13: あるものが唸らさないならそれは飽き飽きするけれど嬉しいということはない fact14: この起床時間が嬉しくないならその文字言語は久ししそれはプロらしい fact15: もしも「開基であるしかついみじない」物があるとするとこの水平・垂直線は煙たい fact16: もしもその文字言語が久しとしたらその固体レーザーは軽い fact17: インド洋交易は押し易い fact18: もし仮にそのバッチが飽き飽きするがしかしそれが嬉しくないならばあの木々達はプロらしくない fact19: その固体レーザーは押し易い fact20: もしもその木々達はインド洋交易であるなら「そのバッチはインド洋交易だ」ということは確かである fact21: もしそのバッチが軽いならばその固体レーザーは久しない fact22: その文字言語は如此し fact23: そのバッチは標式でない
fact11 -> int1: その木々達は押し易い; int1 & fact5 -> int2: そのバッチは軽い; int2 & fact21 -> hypothesis;
そのバッチは押し易い
fact27 -> int3: 仮にそのバッチがインド洋交易だとするとそれは押し易い; fact34 & fact32 -> int4: あのテラスは経済的ロット量である; fact35 & int4 -> int5: この水平・垂直線は飽き飽きする; fact25 -> int6: 「この水平・垂直線は如此しがしかし唸らさない」ということは間違いなら唸らす; fact33 -> int7: なにがしかの物は開基であるがしかしそれはいみじない; int7 & fact31 -> int8: この水平・垂直線は煙たい; fact30 & int8 -> int9: 「この水平・垂直線は如此し一方で唸らすということはない」ということは成り立たない; int6 & int9 -> int10: この水平・垂直線は唸らす; int5 & int10 -> int11: この水平・垂直線は飽き飽きするしそれにそれは唸らす; int11 -> int12: 「「飽き飽きするし唸らす」ということは成り立つ」物はある;
$facts$ = fact1: もし「あのテラスは経済的ロット量である」ということは誤りでないとすればこの水平・垂直線は飽き飽きする fact2: あのテラスが移動だとするとそれは経済的ロット量である fact3: もし仮にその文字言語は如此しならば「経済的ロット量でなくてそれは煙たくない」ということは間違いだ fact4: もしもこの水平・垂直線は煙たいならば「それは如此しがしかし唸らさない」ということは成り立たない fact5: もし「その木々達は押し易い」ということは成り立つとしたら「そのバッチは軽い」ということは正しい fact6: あのテラスは移動だ fact7: 「なんらかのものは如此しがしかし唸らさない」ということは事実と異なるとするとそれは唸らす fact8: あの所期は開基であるがそれはいみじない fact9: もし仮にその木々達がインド洋交易であるならその固体レーザーはインド洋交易だ fact10: もしも何らかの物がプロらしくないならばインド洋交易であるしおまけに軽い fact11: その木々達は押し易くてそれはインド洋交易である fact12: もしもその固体レーザーが軽いならばその木々達はインド洋交易である fact13: あるものが唸らさないならそれは飽き飽きするけれど嬉しいということはない fact14: この起床時間が嬉しくないならその文字言語は久ししそれはプロらしい fact15: もしも「開基であるしかついみじない」物があるとするとこの水平・垂直線は煙たい fact16: もしもその文字言語が久しとしたらその固体レーザーは軽い fact17: インド洋交易は押し易い fact18: もし仮にそのバッチが飽き飽きするがしかしそれが嬉しくないならばあの木々達はプロらしくない fact19: その固体レーザーは押し易い fact20: もしもその木々達はインド洋交易であるなら「そのバッチはインド洋交易だ」ということは確かである fact21: もしそのバッチが軽いならばその固体レーザーは久しない fact22: その文字言語は如此し fact23: そのバッチは標式でない ; $hypothesis$ = その固体レーザーは久しということはない ; $proof$ = 
fact11 -> int1: その木々達は押し易い; int1 & fact5 -> int2: そのバッチは軽い; int2 & fact21 -> hypothesis; __PROVED__
事実1: もし「あのテラスは経済的ロット量である」ということは誤りでないとすればこの水平・垂直線は飽き飽きする
事実2: あのテラスが移動だとするとそれは経済的ロット量である
事実3: もし仮にその文字言語は如此しならば「経済的ロット量でなくてそれは煙たくない」ということは間違いだ
事実4: もしもこの水平・垂直線は煙たいならば「それは如此しがしかし唸らさない」ということは成り立たない
事実5: もし「その木々達は押し易い」ということは成り立つとしたら「そのバッチは軽い」ということは正しい
事実6: あのテラスは移動だ
事実7: 「なんらかのものは如此しがしかし唸らさない」ということは事実と異なるとするとそれは唸らす
事実8: あの所期は開基であるがそれはいみじない
事実9: もし仮にその木々達がインド洋交易であるならその固体レーザーはインド洋交易だ
事実10: もしも何らかの物がプロらしくないならばインド洋交易であるしおまけに軽い
事実11: その木々達は押し易くてそれはインド洋交易である
事実12: もしもその固体レーザーが軽いならばその木々達はインド洋交易である
事実13: あるものが唸らさないならそれは飽き飽きするけれど嬉しいということはない
事実14: この起床時間が嬉しくないならその文字言語は久ししそれはプロらしい
事実15: もしも「開基であるしかついみじない」物があるとするとこの水平・垂直線は煙たい
事実16: もしもその文字言語が久しとしたらその固体レーザーは軽い
事実17: インド洋交易は押し易い
事実18: もし仮にそのバッチが飽き飽きするがしかしそれが嬉しくないならばあの木々達はプロらしくない
事実19: その固体レーザーは押し易い
事実20: もしもその木々達はインド洋交易であるなら「そのバッチはインド洋交易だ」ということは確かである
事実21: もしそのバッチが軽いならばその固体レーザーは久しない
事実22: その文字言語は如此し
事実23: そのバッチは標式でない

仮説: その固体レーザーは久しということはない
1. 事実11から、推論1: "その木々達は押し易い"が導かれる
2. 推論1と事実5から、推論2: "そのバッチは軽い"が導かれる
3. 推論2と事実21から、仮説が導かれる

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