「「輝かしないが実装する」ということは成り立つということはない」物はある
fact1: あの活動場所は面映ゆい fact2: もし伝達係は全日空ホテルでないとすれば「それは通過出来る」ということは確かだ fact3: その首飾りは通過出来る fact4: もし仮にあの活動場所は通過出来るなら「あの経済的援助は輝かしないけど実装する」ということは成り立たない fact5: 「あの経済的援助は輝かしし実装する」ということは間違っている fact6: 仮にあの活動場所が面映ゆいならそれは伝達係であるが全日空ホテルだということはない
fact2 -> int1: もし仮にあの活動場所は伝達係であるが全日空ホテルでないとすれば通過出来る; fact6 & fact1 -> int2: あの活動場所は伝達係であるがしかし全日空ホテルでない; int1 & int2 -> int3: 「あの活動場所は通過出来る」ということは確かだ; int3 & fact4 -> int4: 「あの経済的援助は輝かしないがしかし実装する」ということは嘘である; int4 -> hypothesis;
$facts$ = fact1: あの活動場所は面映ゆい fact2: もし伝達係は全日空ホテルでないとすれば「それは通過出来る」ということは確かだ fact3: その首飾りは通過出来る fact4: もし仮にあの活動場所は通過出来るなら「あの経済的援助は輝かしないけど実装する」ということは成り立たない fact5: 「あの経済的援助は輝かしし実装する」ということは間違っている fact6: 仮にあの活動場所が面映ゆいならそれは伝達係であるが全日空ホテルだということはない ; $hypothesis$ = 「「輝かしないが実装する」ということは成り立つということはない」物はある ; $proof$ = 
fact2 -> int1: もし仮にあの活動場所は伝達係であるが全日空ホテルでないとすれば通過出来る; fact6 & fact1 -> int2: あの活動場所は伝達係であるがしかし全日空ホテルでない; int1 & int2 -> int3: 「あの活動場所は通過出来る」ということは確かだ; int3 & fact4 -> int4: 「あの経済的援助は輝かしないがしかし実装する」ということは嘘である; int4 -> hypothesis; __PROVED__
事実1: あの活動場所は面映ゆい
事実2: もし伝達係は全日空ホテルでないとすれば「それは通過出来る」ということは確かだ
事実3: その首飾りは通過出来る
事実4: もし仮にあの活動場所は通過出来るなら「あの経済的援助は輝かしないけど実装する」ということは成り立たない
事実5: 「あの経済的援助は輝かしし実装する」ということは間違っている
事実6: 仮にあの活動場所が面映ゆいならそれは伝達係であるが全日空ホテルだということはない

仮説: 「「輝かしないが実装する」ということは成り立つということはない」物はある
1. 事実2から、推論1: "もし仮にあの活動場所は伝達係であるが全日空ホテルでないとすれば通過出来る"が導かれる
2. 事実6と事実1から、推論2: "あの活動場所は伝達係であるがしかし全日空ホテルでない"が導かれる
3. 推論1と推論2から、推論3: "「あの活動場所は通過出来る」ということは確かだ"が導かれる
4. 推論3と事実4から、推論4: "「あの経済的援助は輝かしないがしかし実装する」ということは嘘である"が導かれる
5. 推論4から、仮説が導かれる

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