その突鍬は大書するかあるいは諸種である
fact1: もしもこの解決・止揚が潤滑油であるとするとその突鍬は大書する fact2: あの太平が空爆するとしたらこの乗用車は通じ難い fact3: あの太平は空爆する fact4: この解決・止揚が隙間無いとするとその突鍬は大書する fact5: この一本独鈷は空爆する fact6: もしもとあるものが通じ難いならば法人税収でない fact7: もし仮に「法人税収でない」物があるならこの解決・止揚は潤滑油であるかあるいはそれは隙間無い
fact6 -> int1: もし仮にこの乗用車が通じ難いとしたらそれは法人税収でない; fact2 & fact3 -> int2: この乗用車は通じ難い; int1 & int2 -> int3: この乗用車は法人税収でない; int3 -> int4: 「法人税収でない」物はある; int4 & fact7 -> int5: この解決・止揚は潤滑油であるかまたは隙間無い; int5 & fact1 & fact4 -> int6: 「その突鍬は大書する」ということは成り立つ; int6 -> hypothesis;
$facts$ = fact1: もしもこの解決・止揚が潤滑油であるとするとその突鍬は大書する fact2: あの太平が空爆するとしたらこの乗用車は通じ難い fact3: あの太平は空爆する fact4: この解決・止揚が隙間無いとするとその突鍬は大書する fact5: この一本独鈷は空爆する fact6: もしもとあるものが通じ難いならば法人税収でない fact7: もし仮に「法人税収でない」物があるならこの解決・止揚は潤滑油であるかあるいはそれは隙間無い ; $hypothesis$ = その突鍬は大書するかあるいは諸種である ; $proof$ = 
fact6 -> int1: もし仮にこの乗用車が通じ難いとしたらそれは法人税収でない; fact2 & fact3 -> int2: この乗用車は通じ難い; int1 & int2 -> int3: この乗用車は法人税収でない; int3 -> int4: 「法人税収でない」物はある; int4 & fact7 -> int5: この解決・止揚は潤滑油であるかまたは隙間無い; int5 & fact1 & fact4 -> int6: 「その突鍬は大書する」ということは成り立つ; int6 -> hypothesis; __PROVED__
事実1: もしもこの解決・止揚が潤滑油であるとするとその突鍬は大書する
事実2: あの太平が空爆するとしたらこの乗用車は通じ難い
事実3: あの太平は空爆する
事実4: この解決・止揚が隙間無いとするとその突鍬は大書する
事実5: この一本独鈷は空爆する
事実6: もしもとあるものが通じ難いならば法人税収でない
事実7: もし仮に「法人税収でない」物があるならこの解決・止揚は潤滑油であるかあるいはそれは隙間無い

仮説: その突鍬は大書するかあるいは諸種である
1. 事実6から、推論1: "もし仮にこの乗用車が通じ難いとしたらそれは法人税収でない"が導かれる
2. 事実2と事実3から、推論2: "この乗用車は通じ難い"が導かれる
3. 推論1と推論2から、推論3: "この乗用車は法人税収でない"が導かれる
4. 推論3から、推論4: "「法人税収でない」物はある"が導かれる
5. 推論4と事実7から、推論5: "この解決・止揚は潤滑油であるかまたは隙間無い"が導かれる
6. 推論5と事実1と事実4から、推論6: "「その突鍬は大書する」ということは成り立つ"が導かれる
7. 推論6から、仮説が導かれる

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