「仮に勤務時間等条例であるとしたらすっごーい」物はある
fact1: もし仮にその信託銀行が勤務時間等条例だが操るということはないなら「この筋肉中は跡目でない」ということは成り立つ fact2: この筋肉中は跡目だ fact3: この絵本館は操る fact4: 「見付け易くない」ものはある fact5: もし仮に「見付け易いということはない」物があればこの筋肉中は二倍速だけれど操らない fact6: その信託銀行が跡目だけれどそれは勤務時間等条例でないならそれは操る fact7: もし仮に勤務時間等条例は跡目でないとするとすっごーい fact8: 仮にこの筋肉中が勤務時間等条例であるけれど二倍速でないならばあの信託銀行は跡目だということはない fact9: もし仮にとあるものはすっごーいがしかし跡目でないとすれば操る fact10: もし仮にこの筋肉中が二倍速である一方でそれが操らないとすればその信託銀行は跡目でない
fact4 & fact5 -> int1: この筋肉中は二倍速だがそれは操らない; int1 & fact10 -> int2: 「その信託銀行は跡目でない」ということは成り立つ; void -> assump1: 以下のように仮定する。その信託銀行は勤務時間等条例である; int2 & assump1 -> int3: その信託銀行は勤務時間等条例であるけど跡目でない; fact7 -> int4: もし仮にその信託銀行が勤務時間等条例だ一方で跡目でないとすればそれはすっごーい; int3 & int4 -> int5: その信託銀行はすっごーい; [assump1] & int5 -> int6: 仮にその信託銀行は勤務時間等条例であるとしたら「すっごーい」ということは真実だ; int6 -> hypothesis;
$facts$ = fact1: もし仮にその信託銀行が勤務時間等条例だが操るということはないなら「この筋肉中は跡目でない」ということは成り立つ fact2: この筋肉中は跡目だ fact3: この絵本館は操る fact4: 「見付け易くない」ものはある fact5: もし仮に「見付け易いということはない」物があればこの筋肉中は二倍速だけれど操らない fact6: その信託銀行が跡目だけれどそれは勤務時間等条例でないならそれは操る fact7: もし仮に勤務時間等条例は跡目でないとするとすっごーい fact8: 仮にこの筋肉中が勤務時間等条例であるけれど二倍速でないならばあの信託銀行は跡目だということはない fact9: もし仮にとあるものはすっごーいがしかし跡目でないとすれば操る fact10: もし仮にこの筋肉中が二倍速である一方でそれが操らないとすればその信託銀行は跡目でない ; $hypothesis$ = 「仮に勤務時間等条例であるとしたらすっごーい」物はある ; $proof$ = 
fact4 & fact5 -> int1: この筋肉中は二倍速だがそれは操らない; int1 & fact10 -> int2: 「その信託銀行は跡目でない」ということは成り立つ; void -> assump1: 以下のように仮定する。その信託銀行は勤務時間等条例である; int2 & assump1 -> int3: その信託銀行は勤務時間等条例であるけど跡目でない; fact7 -> int4: もし仮にその信託銀行が勤務時間等条例だ一方で跡目でないとすればそれはすっごーい; int3 & int4 -> int5: その信託銀行はすっごーい; [assump1] & int5 -> int6: 仮にその信託銀行は勤務時間等条例であるとしたら「すっごーい」ということは真実だ; int6 -> hypothesis; __PROVED__
事実1: もし仮にその信託銀行が勤務時間等条例だが操るということはないなら「この筋肉中は跡目でない」ということは成り立つ
事実2: この筋肉中は跡目だ
事実3: この絵本館は操る
事実4: 「見付け易くない」ものはある
事実5: もし仮に「見付け易いということはない」物があればこの筋肉中は二倍速だけれど操らない
事実6: その信託銀行が跡目だけれどそれは勤務時間等条例でないならそれは操る
事実7: もし仮に勤務時間等条例は跡目でないとするとすっごーい
事実8: 仮にこの筋肉中が勤務時間等条例であるけれど二倍速でないならばあの信託銀行は跡目だということはない
事実9: もし仮にとあるものはすっごーいがしかし跡目でないとすれば操る
事実10: もし仮にこの筋肉中が二倍速である一方でそれが操らないとすればその信託銀行は跡目でない

仮説: 「仮に勤務時間等条例であるとしたらすっごーい」物はある
1. 事実4と事実5から、推論1: "この筋肉中は二倍速だがそれは操らない"が導かれる
2. 推論1と事実10から、推論2: "「その信託銀行は跡目でない」ということは成り立つ"が導かれる
3. 仮定1: 以下のように仮定する。その信託銀行は勤務時間等条例である
4. 推論2と仮定1から、推論3: "その信託銀行は勤務時間等条例であるけど跡目でない"が導かれる
5. 事実7から、推論4: "もし仮にその信託銀行が勤務時間等条例だ一方で跡目でないとすればそれはすっごーい"が導かれる
6. 推論3と推論4から、推論5: "その信託銀行はすっごーい"が導かれる
7. [仮定1]と推論5から、推論6: "仮にその信託銀行は勤務時間等条例であるとしたら「すっごーい」ということは真実だ"が導かれる
8. 推論6から、仮説が導かれる

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