この講釈は憚るない
fact1: 「あの精油成分はメッセージ・ボードでないが合い難い」ということは成り立たないとするとこのマクロレンズはメッセージ・ボードだ fact2: 仮にあの精油成分が冷凍庫だとすればこの講釈は焼き切る fact3: もし仮に「なにかはこそばゆいしまたそれは焦げ臭い」ということは成り立たないとしたら焦げ臭くない fact4: あの精油成分は冷凍庫である fact5: 「あの精油成分はメッセージ・ボードでないけど合い難い」ということは間違っている fact6: もしあの精油成分は焼き切るとすれば「この講釈は冷凍庫である」ということは正しい fact7: このマクロレンズは焦げ臭い fact8: もしも「とあるものは好調であるかもしくは確認し易くない」ということは偽であるとしたらそれは手厚い fact9: もし仮にとあるものは焦げ臭くないとすれば「焼き切るしさらに憚る」ということは成り立たない fact10: こそばゆくない物は焼き切るしその上冷凍庫だ fact11: もしこのマクロレンズが焦げ臭いならあの精油成分は焼き切る fact12: もし「このマクロレンズは冷凍庫でない」ということは正しいとすれば「それがこそばゆいしその上それは焦げ臭い」ということは成り立たない fact13: もしこのマクロレンズがメッセージ・ボードだしまたそれが手厚いならそれは冷凍庫でない fact14: この講釈が冷凍庫ならば憚る
fact11 & fact7 -> int1: あの精油成分は焼き切る; int1 & fact6 -> int2: 「この講釈は冷凍庫だ」ということは本当だ; int2 & fact14 -> hypothesis;
この講釈は憚るない
fact21 -> int3: もしもこのマクロレンズは焦げ臭くないとすると「それは焼き切るしさらに憚る」ということは成り立たない; fact17 -> int4: もし仮に「このマクロレンズはこそばゆくてまた焦げ臭い」ということは誤りであるとしたらそれは焦げ臭くない; fact16 & fact20 -> int5: このマクロレンズはメッセージ・ボードだ; fact19 -> int6: もし仮に「このマクロレンズは好調であるかあるいは確認し易くないかあるいは両方ともだ」ということは誤りであるとするとそれは手厚い;
$facts$ = fact1: 「あの精油成分はメッセージ・ボードでないが合い難い」ということは成り立たないとするとこのマクロレンズはメッセージ・ボードだ fact2: 仮にあの精油成分が冷凍庫だとすればこの講釈は焼き切る fact3: もし仮に「なにかはこそばゆいしまたそれは焦げ臭い」ということは成り立たないとしたら焦げ臭くない fact4: あの精油成分は冷凍庫である fact5: 「あの精油成分はメッセージ・ボードでないけど合い難い」ということは間違っている fact6: もしあの精油成分は焼き切るとすれば「この講釈は冷凍庫である」ということは正しい fact7: このマクロレンズは焦げ臭い fact8: もしも「とあるものは好調であるかもしくは確認し易くない」ということは偽であるとしたらそれは手厚い fact9: もし仮にとあるものは焦げ臭くないとすれば「焼き切るしさらに憚る」ということは成り立たない fact10: こそばゆくない物は焼き切るしその上冷凍庫だ fact11: もしこのマクロレンズが焦げ臭いならあの精油成分は焼き切る fact12: もし「このマクロレンズは冷凍庫でない」ということは正しいとすれば「それがこそばゆいしその上それは焦げ臭い」ということは成り立たない fact13: もしこのマクロレンズがメッセージ・ボードだしまたそれが手厚いならそれは冷凍庫でない fact14: この講釈が冷凍庫ならば憚る ; $hypothesis$ = この講釈は憚るない ; $proof$ = 
fact11 & fact7 -> int1: あの精油成分は焼き切る; int1 & fact6 -> int2: 「この講釈は冷凍庫だ」ということは本当だ; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: 「あの精油成分はメッセージ・ボードでないが合い難い」ということは成り立たないとするとこのマクロレンズはメッセージ・ボードだ
事実2: 仮にあの精油成分が冷凍庫だとすればこの講釈は焼き切る
事実3: もし仮に「なにかはこそばゆいしまたそれは焦げ臭い」ということは成り立たないとしたら焦げ臭くない
事実4: あの精油成分は冷凍庫である
事実5: 「あの精油成分はメッセージ・ボードでないけど合い難い」ということは間違っている
事実6: もしあの精油成分は焼き切るとすれば「この講釈は冷凍庫である」ということは正しい
事実7: このマクロレンズは焦げ臭い
事実8: もしも「とあるものは好調であるかもしくは確認し易くない」ということは偽であるとしたらそれは手厚い
事実9: もし仮にとあるものは焦げ臭くないとすれば「焼き切るしさらに憚る」ということは成り立たない
事実10: こそばゆくない物は焼き切るしその上冷凍庫だ
事実11: もしこのマクロレンズが焦げ臭いならあの精油成分は焼き切る
事実12: もし「このマクロレンズは冷凍庫でない」ということは正しいとすれば「それがこそばゆいしその上それは焦げ臭い」ということは成り立たない
事実13: もしこのマクロレンズがメッセージ・ボードだしまたそれが手厚いならそれは冷凍庫でない
事実14: この講釈が冷凍庫ならば憚る

仮説: この講釈は憚るない
1. 事実11と事実7から、推論1: "あの精油成分は焼き切る"が導かれる
2. 推論1と事実6から、推論2: "「この講釈は冷凍庫だ」ということは本当だ"が導かれる
3. 推論2と事実14から、仮説が否定される

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