「あの支援体制は当該提供するしその上気高し」ということは誤っている
fact1: あの支援体制は猛々しい fact2: あの支援体制が感涙だしそれは疑わしい fact3: あの植え付け後は当該提供する fact4: 「あのフランス革命史は薄らぎ始めるししかも猛々しい」ということは成り立つ fact5: あの支援体制は再灌流するし捲り上げる fact6: この受注日は曲解するしかつ猛々しい fact7: この受注日がちっこいかまたは猛々しくないか両方であるとすればこの首席補佐官はちっこい fact8: あの支援体制は曲解する fact9: この受注日はちっこい fact10: あの支援体制がちっこいとするとそれは当該提供する fact11: あの支援体制はちっこい fact12: もしもこの受注日は気高しとすると「あの支援体制は曲解する」ということは事実である fact13: この受注日は猛々しい fact14: この受注日はレミコン車である fact15: もし仮にこの受注日が曲解するとしたらあの支援体制は気高し fact16: あの支援体制は組み技選手であるしその上根気強い
fact6 -> int1: この受注日は曲解する; int1 & fact15 -> int2: あの支援体制は気高し; fact11 & fact10 -> int3: あの支援体制は当該提供する; int2 & int3 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact15 -> int2: {C}{b}; fact11 & fact10 -> int3: {D}{b}; int2 & int3 -> hypothesis;
この首席補佐官はちっこい
$facts$ = fact1: あの支援体制は猛々しい fact2: あの支援体制が感涙だしそれは疑わしい fact3: あの植え付け後は当該提供する fact4: 「あのフランス革命史は薄らぎ始めるししかも猛々しい」ということは成り立つ fact5: あの支援体制は再灌流するし捲り上げる fact6: この受注日は曲解するしかつ猛々しい fact7: この受注日がちっこいかまたは猛々しくないか両方であるとすればこの首席補佐官はちっこい fact8: あの支援体制は曲解する fact9: この受注日はちっこい fact10: あの支援体制がちっこいとするとそれは当該提供する fact11: あの支援体制はちっこい fact12: もしもこの受注日は気高しとすると「あの支援体制は曲解する」ということは事実である fact13: この受注日は猛々しい fact14: この受注日はレミコン車である fact15: もし仮にこの受注日が曲解するとしたらあの支援体制は気高し fact16: あの支援体制は組み技選手であるしその上根気強い ; $hypothesis$ = 「あの支援体制は当該提供するしその上気高し」ということは誤っている ; $proof$ = 
fact6 -> int1: この受注日は曲解する; int1 & fact15 -> int2: あの支援体制は気高し; fact11 & fact10 -> int3: あの支援体制は当該提供する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの支援体制は猛々しい
事実2: あの支援体制が感涙だしそれは疑わしい
事実3: あの植え付け後は当該提供する
事実4: 「あのフランス革命史は薄らぎ始めるししかも猛々しい」ということは成り立つ
事実5: あの支援体制は再灌流するし捲り上げる
事実6: この受注日は曲解するしかつ猛々しい
事実7: この受注日がちっこいかまたは猛々しくないか両方であるとすればこの首席補佐官はちっこい
事実8: あの支援体制は曲解する
事実9: この受注日はちっこい
事実10: あの支援体制がちっこいとするとそれは当該提供する
事実11: あの支援体制はちっこい
事実12: もしもこの受注日は気高しとすると「あの支援体制は曲解する」ということは事実である
事実13: この受注日は猛々しい
事実14: この受注日はレミコン車である
事実15: もし仮にこの受注日が曲解するとしたらあの支援体制は気高し
事実16: あの支援体制は組み技選手であるしその上根気強い

仮説: 「あの支援体制は当該提供するしその上気高し」ということは誤っている
1. 事実6から、推論1: "この受注日は曲解する"が導かれる
2. 推論1と事実15から、推論2: "あの支援体制は気高し"が導かれる
3. 事実11と事実10から、推論3: "あの支援体制は当該提供する"が導かれる
4. 推論2と推論3から、仮説が否定される

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