この竿先はジャパンＣである
fact1: 仄白いものは結び付く fact2: 仮に「なにがしかの物はカラーコレクタでなくてかつ考え深くない」ということは誤っているならそれはカラーコレクタだ fact3: 仮にとあるものが手際良いとすればそれは図面である fact4: もしこの竿先が結び付くならそれはカラーコレクタだ fact5: その政権下はジャパンＣだということはない fact6: 仮にとある物が考え深いならカラーコレクタである fact7: もしなにかは疲労し切るなら仄白い fact8: あのタイガー戦車は考え深くない fact9: カラーコレクタはジャパンＣである fact10: 「あのタイガー戦車は仄白い」ということは真実だとしたら「それは疲労し切る」ということは正しい fact11: 仮になにかは手際良いならばそれは疲労し切る fact12: 悪いものは送り出す fact13: 信託受益権は腎移植手術だ fact14: 「あのタイガー戦車は考え深くないけどそれはジャパンＣだ」ということは間違いであるならばこの竿先はジャパンＣでない fact15: あのタイガー戦車は図面であるかあるいは考え深いかあるいはどちらもである fact16: この竿先は快感だ fact17: あのタイガー戦車は疲労し切るとしたら「それは手際良いということはない」ということは偽だ fact18: 仮にあのタイガー戦車が図面であるかあるいはそれが考え深くないならこの竿先は手際良い fact19: あのタイガー戦車はカラーコレクタであるかもしくはそれは図面でない
fact8 -> int1: あのタイガー戦車は図面であるかそれは考え深くないかあるいは両方だ; int1 & fact18 -> int2: 「この竿先は手際良い」ということは成り立つ; fact11 -> int3: もしこの竿先が手際良いなら疲労し切る; int2 & int3 -> int4: この竿先は疲労し切る; fact7 -> int5: もしこの竿先が疲労し切るならそれは仄白い; int4 & int5 -> int6: この竿先は仄白い; fact1 -> int7: 仮にこの竿先が仄白いとしたら結び付く; int6 & int7 -> int8: この竿先は結び付く; int8 & fact4 -> int9: この竿先はカラーコレクタである; fact9 -> int10: この竿先はカラーコレクタであるとしたらそれはジャパンＣだ; int9 & int10 -> hypothesis;
あのタイガー戦車はカラーコレクタである
fact20 -> int11: もし「あのタイガー戦車はカラーコレクタでないし考え深くない」ということは誤っているとするとそれはカラーコレクタである;
$facts$ = fact1: 仄白いものは結び付く fact2: 仮に「なにがしかの物はカラーコレクタでなくてかつ考え深くない」ということは誤っているならそれはカラーコレクタだ fact3: 仮にとあるものが手際良いとすればそれは図面である fact4: もしこの竿先が結び付くならそれはカラーコレクタだ fact5: その政権下はジャパンＣだということはない fact6: 仮にとある物が考え深いならカラーコレクタである fact7: もしなにかは疲労し切るなら仄白い fact8: あのタイガー戦車は考え深くない fact9: カラーコレクタはジャパンＣである fact10: 「あのタイガー戦車は仄白い」ということは真実だとしたら「それは疲労し切る」ということは正しい fact11: 仮になにかは手際良いならばそれは疲労し切る fact12: 悪いものは送り出す fact13: 信託受益権は腎移植手術だ fact14: 「あのタイガー戦車は考え深くないけどそれはジャパンＣだ」ということは間違いであるならばこの竿先はジャパンＣでない fact15: あのタイガー戦車は図面であるかあるいは考え深いかあるいはどちらもである fact16: この竿先は快感だ fact17: あのタイガー戦車は疲労し切るとしたら「それは手際良いということはない」ということは偽だ fact18: 仮にあのタイガー戦車が図面であるかあるいはそれが考え深くないならこの竿先は手際良い fact19: あのタイガー戦車はカラーコレクタであるかもしくはそれは図面でない ; $hypothesis$ = この竿先はジャパンＣである ; $proof$ = 
fact8 -> int1: あのタイガー戦車は図面であるかそれは考え深くないかあるいは両方だ; int1 & fact18 -> int2: 「この竿先は手際良い」ということは成り立つ; fact11 -> int3: もしこの竿先が手際良いなら疲労し切る; int2 & int3 -> int4: この竿先は疲労し切る; fact7 -> int5: もしこの竿先が疲労し切るならそれは仄白い; int4 & int5 -> int6: この竿先は仄白い; fact1 -> int7: 仮にこの竿先が仄白いとしたら結び付く; int6 & int7 -> int8: この竿先は結び付く; int8 & fact4 -> int9: この竿先はカラーコレクタである; fact9 -> int10: この竿先はカラーコレクタであるとしたらそれはジャパンＣだ; int9 & int10 -> hypothesis; __PROVED__
事実1: 仄白いものは結び付く
事実2: 仮に「なにがしかの物はカラーコレクタでなくてかつ考え深くない」ということは誤っているならそれはカラーコレクタだ
事実3: 仮にとあるものが手際良いとすればそれは図面である
事実4: もしこの竿先が結び付くならそれはカラーコレクタだ
事実5: その政権下はジャパンＣだということはない
事実6: 仮にとある物が考え深いならカラーコレクタである
事実7: もしなにかは疲労し切るなら仄白い
事実8: あのタイガー戦車は考え深くない
事実9: カラーコレクタはジャパンＣである
事実10: 「あのタイガー戦車は仄白い」ということは真実だとしたら「それは疲労し切る」ということは正しい
事実11: 仮になにかは手際良いならばそれは疲労し切る
事実12: 悪いものは送り出す
事実13: 信託受益権は腎移植手術だ
事実14: 「あのタイガー戦車は考え深くないけどそれはジャパンＣだ」ということは間違いであるならばこの竿先はジャパンＣでない
事実15: あのタイガー戦車は図面であるかあるいは考え深いかあるいはどちらもである
事実16: この竿先は快感だ
事実17: あのタイガー戦車は疲労し切るとしたら「それは手際良いということはない」ということは偽だ
事実18: 仮にあのタイガー戦車が図面であるかあるいはそれが考え深くないならこの竿先は手際良い
事実19: あのタイガー戦車はカラーコレクタであるかもしくはそれは図面でない

仮説: この竿先はジャパンＣである
1. 事実8から、推論1: "あのタイガー戦車は図面であるかそれは考え深くないかあるいは両方だ"が導かれる
2. 推論1と事実18から、推論2: "「この竿先は手際良い」ということは成り立つ"が導かれる
3. 事実11から、推論3: "もしこの竿先が手際良いなら疲労し切る"が導かれる
4. 推論2と推論3から、推論4: "この竿先は疲労し切る"が導かれる
5. 事実7から、推論5: "もしこの竿先が疲労し切るならそれは仄白い"が導かれる
6. 推論4と推論5から、推論6: "この竿先は仄白い"が導かれる
7. 事実1から、推論7: "仮にこの竿先が仄白いとしたら結び付く"が導かれる
8. 推論6と推論7から、推論8: "この竿先は結び付く"が導かれる
9. 推論8と事実4から、推論9: "この竿先はカラーコレクタである"が導かれる
10. 事実9から、推論10: "この竿先はカラーコレクタであるとしたらそれはジャパンＣだ"が導かれる
11. 推論9と推論10から、仮説が導かれる

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