この三錠は汗臭くない
fact1: なにがしかのものは長呼しないならば「飢えるししかも汗臭い」ということは本当でない fact2: 「「娘らしくないしそれに晒され易くない」ということは誤りである」ものはある fact3: もし「「「娘らしくないしそれに晒され易くない」ということは本当だ」ということは誤りである」ものがあるならこの三錠は汗臭い fact4: 仮に「なにかは飢えるしかつ汗臭い」ということは偽であるならば汗臭くない fact5: 仮に何らかのものが干渉だということはないとしたら長呼しない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
「この三錠は汗臭くない」ということは成り立つ
fact6 -> int1: もし「この三錠は飢えるし加えてそれは汗臭い」ということは成り立たないとしたらそれは汗臭くない; fact8 -> int2: もしもこの三錠は長呼しないとしたら「飢えるし加えてそれは汗臭い」ということは偽である; fact7 -> int3: もしこの三錠が干渉だということはないとしたらそれは長呼しない;
$facts$ = fact1: なにがしかのものは長呼しないならば「飢えるししかも汗臭い」ということは本当でない fact2: 「「娘らしくないしそれに晒され易くない」ということは誤りである」ものはある fact3: もし「「「娘らしくないしそれに晒され易くない」ということは本当だ」ということは誤りである」ものがあるならこの三錠は汗臭い fact4: 仮に「なにかは飢えるしかつ汗臭い」ということは偽であるならば汗臭くない fact5: 仮に何らかのものが干渉だということはないとしたら長呼しない ; $hypothesis$ = この三錠は汗臭くない ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは長呼しないならば「飢えるししかも汗臭い」ということは本当でない
事実2: 「「娘らしくないしそれに晒され易くない」ということは誤りである」ものはある
事実3: もし「「「娘らしくないしそれに晒され易くない」ということは本当だ」ということは誤りである」ものがあるならこの三錠は汗臭い
事実4: 仮に「なにかは飢えるしかつ汗臭い」ということは偽であるならば汗臭くない
事実5: 仮に何らかのものが干渉だということはないとしたら長呼しない

仮説: この三錠は汗臭くない
1. 事実2と事実3から、仮説が否定される

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