その皇家は追っ払う
fact1: もし仮にこのステンレス極細線が油っぽくないとすればこの医療レーザーは開所しないしその上それは心強くない fact2: 仮にその二十一日民集がブランド拡張しないかそれがブラバスらしいということはないかまたは両方ともならこの医療レーザーは師資冥合でない fact3: この医療レーザーは心強くない fact4: もしもこのステンレス極細線は躱さないとしたら「嫌味っぽいしひょろ長い」ということは事実と異なる fact5: 「何らかの物は嫌味っぽくてそれはひょろ長い」ということは成り立つということはないならばひょろ長くない fact6: 「このステンレス極細線は油っぽくない」ということは事実だ fact7: 仮に何かは開所しなくてかつそれが心強くないならばあの皇家は追っ払わない fact8: 「このステンレス極細線は躱す」ということは誤りだということはないならば「それは油っぽいししかもそれは嫌味っぽくない」ということは成り立つということはない
fact1 & fact6 -> int1: この医療レーザーは開所するということはなくてしかも心強くない; int1 -> int2: とあるものは開所しないし心強いということはない; int2 & fact7 -> hypothesis;
「ひょろ長いということはないし惨いということはない」ものはある
fact10 -> int3: もし「このステンレス極細線は嫌味っぽいしそれにひょろ長い」ということは成り立つということはないとしたらひょろ長くない;
$facts$ = fact1: もし仮にこのステンレス極細線が油っぽくないとすればこの医療レーザーは開所しないしその上それは心強くない fact2: 仮にその二十一日民集がブランド拡張しないかそれがブラバスらしいということはないかまたは両方ともならこの医療レーザーは師資冥合でない fact3: この医療レーザーは心強くない fact4: もしもこのステンレス極細線は躱さないとしたら「嫌味っぽいしひょろ長い」ということは事実と異なる fact5: 「何らかの物は嫌味っぽくてそれはひょろ長い」ということは成り立つということはないならばひょろ長くない fact6: 「このステンレス極細線は油っぽくない」ということは事実だ fact7: 仮に何かは開所しなくてかつそれが心強くないならばあの皇家は追っ払わない fact8: 「このステンレス極細線は躱す」ということは誤りだということはないならば「それは油っぽいししかもそれは嫌味っぽくない」ということは成り立つということはない ; $hypothesis$ = その皇家は追っ払う ; $proof$ = 
fact1 & fact6 -> int1: この医療レーザーは開所するということはなくてしかも心強くない; int1 -> int2: とあるものは開所しないし心強いということはない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にこのステンレス極細線が油っぽくないとすればこの医療レーザーは開所しないしその上それは心強くない
事実2: 仮にその二十一日民集がブランド拡張しないかそれがブラバスらしいということはないかまたは両方ともならこの医療レーザーは師資冥合でない
事実3: この医療レーザーは心強くない
事実4: もしもこのステンレス極細線は躱さないとしたら「嫌味っぽいしひょろ長い」ということは事実と異なる
事実5: 「何らかの物は嫌味っぽくてそれはひょろ長い」ということは成り立つということはないならばひょろ長くない
事実6: 「このステンレス極細線は油っぽくない」ということは事実だ
事実7: 仮に何かは開所しなくてかつそれが心強くないならばあの皇家は追っ払わない
事実8: 「このステンレス極細線は躱す」ということは誤りだということはないならば「それは油っぽいししかもそれは嫌味っぽくない」ということは成り立つということはない

仮説: その皇家は追っ払う
1. 事実1と事実6から、推論1: "この医療レーザーは開所するということはなくてしかも心強くない"が導かれる
2. 推論1から、推論2: "とあるものは開所しないし心強いということはない"が導かれる
3. 推論2と事実7から、仮説が否定される

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