もしも「この教頭先生は扱い難くない」ということは成り立つとすれば「あの声帯靱帯は瑞々しくない一方でそれは考え深い」ということは誤りである
fact1: あの厚板は瑞々しくない fact2: もし仮にこの教頭先生は扱い難いなら「あの声帯靱帯は瑞々しくない一方で考え深い」ということは誤っている fact3: その三十分以内は瑞々しい fact4: あの声帯靱帯が人懐こいしその上アイロン掛けだとすればこの得手不得手は考え深い fact5: この得手不得手は瑞々しくない fact6: この得手不得手はアイロン掛けである fact7: この得手不得手は瑞々しくないけれどアイロン掛けだ fact8: もし仮にあの厚板が人懐こくないならこの得手不得手はアイロン掛けだ fact9: この得手不得手は扱い難くないがアイロン掛けである fact10: もしこの得手不得手が人懐こくないがアイロン掛けだとするとこの教頭先生は扱い難い fact11: もし仮にこの教頭先生が扱い難いということはないならあの声帯靱帯は瑞々しいということはない一方でそれは考え深い fact12: あの声帯靱帯は瑞々しくない fact13: この教頭先生は諜報活動でない fact14: 「この得手不得手は扱い難くない」ということは正しい fact15: あの声帯靱帯は行動出来る fact16: 仮に「あの厚板は人懐こくない」ということは成り立つならばあの得手不得手は人懐こくないがしかしアイロン掛けである fact17: この教頭先生は会心でない fact18: もしあの声帯靱帯が瑞々しくて考え深いとするとあの厚板は人懐こくない fact19: あの声帯靱帯が瑞々しくないがしかし考え深いならばあの厚板は人懐こくない
void -> assump2: 以下のように仮定する。あの声帯靱帯は瑞々しくない一方で考え深い; fact19 & assump2 -> int1: あの厚板は人懐こくない; int1 & fact16 -> int2: この得手不得手は人懐こくないがしかしアイロン掛けである; int2 & fact10 -> int3: 「この教頭先生は扱い難い」ということは本当だ; void -> assump1: 以下のように仮定する。この教頭先生は扱い難くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの声帯靱帯は瑞々しくないが考え深い」ということは成り立たない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの厚板は瑞々しくない fact2: もし仮にこの教頭先生は扱い難いなら「あの声帯靱帯は瑞々しくない一方で考え深い」ということは誤っている fact3: その三十分以内は瑞々しい fact4: あの声帯靱帯が人懐こいしその上アイロン掛けだとすればこの得手不得手は考え深い fact5: この得手不得手は瑞々しくない fact6: この得手不得手はアイロン掛けである fact7: この得手不得手は瑞々しくないけれどアイロン掛けだ fact8: もし仮にあの厚板が人懐こくないならこの得手不得手はアイロン掛けだ fact9: この得手不得手は扱い難くないがアイロン掛けである fact10: もしこの得手不得手が人懐こくないがアイロン掛けだとするとこの教頭先生は扱い難い fact11: もし仮にこの教頭先生が扱い難いということはないならあの声帯靱帯は瑞々しいということはない一方でそれは考え深い fact12: あの声帯靱帯は瑞々しくない fact13: この教頭先生は諜報活動でない fact14: 「この得手不得手は扱い難くない」ということは正しい fact15: あの声帯靱帯は行動出来る fact16: 仮に「あの厚板は人懐こくない」ということは成り立つならばあの得手不得手は人懐こくないがしかしアイロン掛けである fact17: この教頭先生は会心でない fact18: もしあの声帯靱帯が瑞々しくて考え深いとするとあの厚板は人懐こくない fact19: あの声帯靱帯が瑞々しくないがしかし考え深いならばあの厚板は人懐こくない ; $hypothesis$ = もしも「この教頭先生は扱い難くない」ということは成り立つとすれば「あの声帯靱帯は瑞々しくない一方でそれは考え深い」ということは誤りである ; $proof$ = 
void -> assump2: 以下のように仮定する。あの声帯靱帯は瑞々しくない一方で考え深い; fact19 & assump2 -> int1: あの厚板は人懐こくない; int1 & fact16 -> int2: この得手不得手は人懐こくないがしかしアイロン掛けである; int2 & fact10 -> int3: 「この教頭先生は扱い難い」ということは本当だ; void -> assump1: 以下のように仮定する。この教頭先生は扱い難くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの声帯靱帯は瑞々しくないが考え深い」ということは成り立たない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの厚板は瑞々しくない
事実2: もし仮にこの教頭先生は扱い難いなら「あの声帯靱帯は瑞々しくない一方で考え深い」ということは誤っている
事実3: その三十分以内は瑞々しい
事実4: あの声帯靱帯が人懐こいしその上アイロン掛けだとすればこの得手不得手は考え深い
事実5: この得手不得手は瑞々しくない
事実6: この得手不得手はアイロン掛けである
事実7: この得手不得手は瑞々しくないけれどアイロン掛けだ
事実8: もし仮にあの厚板が人懐こくないならこの得手不得手はアイロン掛けだ
事実9: この得手不得手は扱い難くないがアイロン掛けである
事実10: もしこの得手不得手が人懐こくないがアイロン掛けだとするとこの教頭先生は扱い難い
事実11: もし仮にこの教頭先生が扱い難いということはないならあの声帯靱帯は瑞々しいということはない一方でそれは考え深い
事実12: あの声帯靱帯は瑞々しくない
事実13: この教頭先生は諜報活動でない
事実14: 「この得手不得手は扱い難くない」ということは正しい
事実15: あの声帯靱帯は行動出来る
事実16: 仮に「あの厚板は人懐こくない」ということは成り立つならばあの得手不得手は人懐こくないがしかしアイロン掛けである
事実17: この教頭先生は会心でない
事実18: もしあの声帯靱帯が瑞々しくて考え深いとするとあの厚板は人懐こくない
事実19: あの声帯靱帯が瑞々しくないがしかし考え深いならばあの厚板は人懐こくない

仮説: もしも「この教頭先生は扱い難くない」ということは成り立つとすれば「あの声帯靱帯は瑞々しくない一方でそれは考え深い」ということは誤りである
1. 仮定2: 以下のように仮定する。あの声帯靱帯は瑞々しくない一方で考え深い
2. 事実19と仮定2から、推論1: "あの厚板は人懐こくない"が導かれる
3. 推論1と事実16から、推論2: "この得手不得手は人懐こくないがしかしアイロン掛けである"が導かれる
4. 推論2と事実10から、推論3: "「この教頭先生は扱い難い」ということは本当だ"が導かれる
5. 仮定1: 以下のように仮定する。この教頭先生は扱い難くない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「あの声帯靱帯は瑞々しくないが考え深い」ということは成り立たない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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