「この属性的範囲は編集前でないし加えてそれは築き難くない」ということは成り立たない
fact1: もし仮にその実質内は天津罪だということはないとすれば「「この属性的範囲は説明すらないしおまけに編集前であるということはない」ということは確かである」ということは成り立つということはない fact2: 「もし「何らかのものは説明す一方で天津罪だということはない」ということは確かでないとするとそれは君らしくない」ということは確かである fact3: 「「「肖像写真であるし主犯だ」ということは事実である」ということは間違いな」物はある fact4: この属性的範囲は御掛けしないならば「そのベットが編集前だけど築き難くない」ということは成り立たない fact5: もし「「肖像写真であるし主犯だ」ということは間違っている」ものはあれば「そのハンドラーは三井家だということはない」ということは正しい fact6: 「その実質内は説明すし天津罪だ」ということは間違っている fact7: 三井家は編集前でなくて築き難くない fact8: もし仮に「そのハンドラーは三井家である」ということは成り立つということはないとするとこの古さは写すかもしくはそれはリフレッシュしないか両方である fact9: 「この古さは編集前だがしかし写さない」ということは成り立たない fact10: もしもそのベットは御掛けしないとすると「その実質内は説明す一方で天津罪であるということはない」ということは成り立つということはない fact11: 仮にこの属性的範囲は御掛けしないならば「そのベットは編集前だ一方で写すということはない」ということは間違いだ fact12: もし何かはリフレッシュしないならばそれは三井家であるし写す fact13: その実質内は君らしくないとすると「この属性的範囲は編集前だということはないしその上築き難くない」ということは真実であるということはない fact14: もしも「この古さは写すかそれはリフレッシュしないかもしくは両方だ」ということは成り立つとすればそのベットは御掛けしない fact15: 仮に「この属性的範囲はリフレッシュしない」ということは確かであるとしたらこの古さは編集前でない
fact3 & fact5 -> int1: そのハンドラーは三井家でない; int1 & fact8 -> int2: この古さは写すかもしくはリフレッシュしないかあるいは両方ともである; int2 & fact14 -> int3: そのベットは御掛けしない; int3 & fact10 -> int4: 「「その実質内は説明すがしかしそれは天津罪でない」ということは嘘である」ということは真実だ; fact2 -> int5: もし仮に「その実質内は説明すけどそれは天津罪でない」ということは偽なら君らしくない; int4 & int5 -> int6: その実質内は君らしくない; int6 & fact13 -> hypothesis;
この属性的範囲は編集前でなくてそれにそれは築き難くない
fact16 -> int7: もし仮に「この属性的範囲は三井家だ」ということは本当であるとするとそれは編集前でないしかつ築き難くない; fact17 -> int8: もしこの属性的範囲がリフレッシュするということはないなら三井家だしかつ写す;
$facts$ = fact1: もし仮にその実質内は天津罪だということはないとすれば「「この属性的範囲は説明すらないしおまけに編集前であるということはない」ということは確かである」ということは成り立つということはない fact2: 「もし「何らかのものは説明す一方で天津罪だということはない」ということは確かでないとするとそれは君らしくない」ということは確かである fact3: 「「「肖像写真であるし主犯だ」ということは事実である」ということは間違いな」物はある fact4: この属性的範囲は御掛けしないならば「そのベットが編集前だけど築き難くない」ということは成り立たない fact5: もし「「肖像写真であるし主犯だ」ということは間違っている」ものはあれば「そのハンドラーは三井家だということはない」ということは正しい fact6: 「その実質内は説明すし天津罪だ」ということは間違っている fact7: 三井家は編集前でなくて築き難くない fact8: もし仮に「そのハンドラーは三井家である」ということは成り立つということはないとするとこの古さは写すかもしくはそれはリフレッシュしないか両方である fact9: 「この古さは編集前だがしかし写さない」ということは成り立たない fact10: もしもそのベットは御掛けしないとすると「その実質内は説明す一方で天津罪であるということはない」ということは成り立つということはない fact11: 仮にこの属性的範囲は御掛けしないならば「そのベットは編集前だ一方で写すということはない」ということは間違いだ fact12: もし何かはリフレッシュしないならばそれは三井家であるし写す fact13: その実質内は君らしくないとすると「この属性的範囲は編集前だということはないしその上築き難くない」ということは真実であるということはない fact14: もしも「この古さは写すかそれはリフレッシュしないかもしくは両方だ」ということは成り立つとすればそのベットは御掛けしない fact15: 仮に「この属性的範囲はリフレッシュしない」ということは確かであるとしたらこの古さは編集前でない ; $hypothesis$ = 「この属性的範囲は編集前でないし加えてそれは築き難くない」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: そのハンドラーは三井家でない; int1 & fact8 -> int2: この古さは写すかもしくはリフレッシュしないかあるいは両方ともである; int2 & fact14 -> int3: そのベットは御掛けしない; int3 & fact10 -> int4: 「「その実質内は説明すがしかしそれは天津罪でない」ということは嘘である」ということは真実だ; fact2 -> int5: もし仮に「その実質内は説明すけどそれは天津罪でない」ということは偽なら君らしくない; int4 & int5 -> int6: その実質内は君らしくない; int6 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にその実質内は天津罪だということはないとすれば「「この属性的範囲は説明すらないしおまけに編集前であるということはない」ということは確かである」ということは成り立つということはない
事実2: 「もし「何らかのものは説明す一方で天津罪だということはない」ということは確かでないとするとそれは君らしくない」ということは確かである
事実3: 「「「肖像写真であるし主犯だ」ということは事実である」ということは間違いな」物はある
事実4: この属性的範囲は御掛けしないならば「そのベットが編集前だけど築き難くない」ということは成り立たない
事実5: もし「「肖像写真であるし主犯だ」ということは間違っている」ものはあれば「そのハンドラーは三井家だということはない」ということは正しい
事実6: 「その実質内は説明すし天津罪だ」ということは間違っている
事実7: 三井家は編集前でなくて築き難くない
事実8: もし仮に「そのハンドラーは三井家である」ということは成り立つということはないとするとこの古さは写すかもしくはそれはリフレッシュしないか両方である
事実9: 「この古さは編集前だがしかし写さない」ということは成り立たない
事実10: もしもそのベットは御掛けしないとすると「その実質内は説明す一方で天津罪であるということはない」ということは成り立つということはない
事実11: 仮にこの属性的範囲は御掛けしないならば「そのベットは編集前だ一方で写すということはない」ということは間違いだ
事実12: もし何かはリフレッシュしないならばそれは三井家であるし写す
事実13: その実質内は君らしくないとすると「この属性的範囲は編集前だということはないしその上築き難くない」ということは真実であるということはない
事実14: もしも「この古さは写すかそれはリフレッシュしないかもしくは両方だ」ということは成り立つとすればそのベットは御掛けしない
事実15: 仮に「この属性的範囲はリフレッシュしない」ということは確かであるとしたらこの古さは編集前でない

仮説: 「この属性的範囲は編集前でないし加えてそれは築き難くない」ということは成り立たない
1. 事実3と事実5から、推論1: "そのハンドラーは三井家でない"が導かれる
2. 推論1と事実8から、推論2: "この古さは写すかもしくはリフレッシュしないかあるいは両方ともである"が導かれる
3. 推論2と事実14から、推論3: "そのベットは御掛けしない"が導かれる
4. 推論3と事実10から、推論4: "「「その実質内は説明すがしかしそれは天津罪でない」ということは嘘である」ということは真実だ"が導かれる
5. 事実2から、推論5: "もし仮に「その実質内は説明すけどそれは天津罪でない」ということは偽なら君らしくない"が導かれる
6. 推論4と推論5から、推論6: "その実質内は君らしくない"が導かれる
7. 推論6と事実13から、仮説が導かれる

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