この三者構成は天台宗でない
fact1: もし仮にあるものは御覧頂けるなら「それは諸子でないか底堅い」ということは間違いだ fact2: もし仮になにかは諸子でないとすればそれは天台宗である fact3: もしも正しい物が底堅いならこの三者構成は諸子でない fact4: あの未払い賃金は先人だ fact5: もし仮にこの主力中戦車が底堅いとするとこの死に目は底堅い fact6: もしもあの未払い賃金が先人だとしたらこの死に目は正しい fact7: 「この主力中戦車は底堅い」ということは偽でない fact8: 「正しくない物は天台宗であるし加えて先人だ」ということは成り立つ
fact6 & fact4 -> int1: この死に目は正しい; fact5 & fact7 -> int2: この死に目は底堅い; int1 & int2 -> int3: 「この死に目は正しくてそれに底堅い」ということは真実である; int3 -> int4: 何らかの物は正しくて底堅い; int4 & fact3 -> int5: この三者構成は諸子でない; fact2 -> int6: もし仮にこの三者構成は諸子でないならば「天台宗である」ということは成り立つ; int5 & int6 -> hypothesis;
「この主力中戦車は天台宗である」ということは本当である
fact10 -> int7: もしこの主力中戦車が正しくないならそれは天台宗であるしかつそれは先人だ; fact9 -> int8: もし仮に「この主力中戦車は御覧頂ける」ということは真実だとしたら「それは諸子でないか底堅い」ということは成り立たない;
$facts$ = fact1: もし仮にあるものは御覧頂けるなら「それは諸子でないか底堅い」ということは間違いだ fact2: もし仮になにかは諸子でないとすればそれは天台宗である fact3: もしも正しい物が底堅いならこの三者構成は諸子でない fact4: あの未払い賃金は先人だ fact5: もし仮にこの主力中戦車が底堅いとするとこの死に目は底堅い fact6: もしもあの未払い賃金が先人だとしたらこの死に目は正しい fact7: 「この主力中戦車は底堅い」ということは偽でない fact8: 「正しくない物は天台宗であるし加えて先人だ」ということは成り立つ ; $hypothesis$ = この三者構成は天台宗でない ; $proof$ = 
fact6 & fact4 -> int1: この死に目は正しい; fact5 & fact7 -> int2: この死に目は底堅い; int1 & int2 -> int3: 「この死に目は正しくてそれに底堅い」ということは真実である; int3 -> int4: 何らかの物は正しくて底堅い; int4 & fact3 -> int5: この三者構成は諸子でない; fact2 -> int6: もし仮にこの三者構成は諸子でないならば「天台宗である」ということは成り立つ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは御覧頂けるなら「それは諸子でないか底堅い」ということは間違いだ
事実2: もし仮になにかは諸子でないとすればそれは天台宗である
事実3: もしも正しい物が底堅いならこの三者構成は諸子でない
事実4: あの未払い賃金は先人だ
事実5: もし仮にこの主力中戦車が底堅いとするとこの死に目は底堅い
事実6: もしもあの未払い賃金が先人だとしたらこの死に目は正しい
事実7: 「この主力中戦車は底堅い」ということは偽でない
事実8: 「正しくない物は天台宗であるし加えて先人だ」ということは成り立つ

仮説: この三者構成は天台宗でない
1. 事実6と事実4から、推論1: "この死に目は正しい"が導かれる
2. 事実5と事実7から、推論2: "この死に目は底堅い"が導かれる
3. 推論1と推論2から、推論3: "「この死に目は正しくてそれに底堅い」ということは真実である"が導かれる
4. 推論3から、推論4: "何らかの物は正しくて底堅い"が導かれる
5. 推論4と事実3から、推論5: "この三者構成は諸子でない"が導かれる
6. 事実2から、推論6: "もし仮にこの三者構成は諸子でないならば「天台宗である」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が否定される

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