その燐脂質は決め難い
fact1: もしもなんらかの物が進駐するとすると取り掛かり易い fact2: もしとあるものは順でないとすれば「それはビジネスソフトだけど粗暴犯でない」ということは誤っている fact3: もし仮にこのチヌリクランが編集担当であるしそれに取り掛かり易いとすればその燐脂質は決め難くない fact4: もしなにかは編集担当でないとすれば「それは進駐するということはないけれど決め難い」ということは成り立たない fact5: あの短冊は進駐する fact6: もしもとある物は編集担当でないけれど進駐すればそれは決め難い fact7: もし「あの短冊は順でないが狡っ辛い」ということは誤りであるならその燐脂質は順でない fact8: もしこのチヌリクランは恋人でないとすると「「あの短冊は順でないがしかしそれは狡っ辛い」ということは成り立つ」ということは成り立たない fact9: もし仮に何らかの物が編集担当でないかあるいはそれがビジネスソフトでないか両方ともだとするとあの短冊は編集担当でない fact10: もし仮に「あるものはビジネスソフトであるがしかしそれは粗暴犯でない」ということは偽であるならばそれは取り掛かり易い fact11: もし仮にあの短冊が進駐するとしたらこのチヌリクランは編集担当である fact12: その輸送は進駐する fact13: 「このチヌリクランは取り掛かり易い」ということは正しい
fact11 & fact5 -> int1: このチヌリクランは編集担当である; int1 & fact13 -> int2: このチヌリクランは編集担当でその上取り掛かり易い; int2 & fact3 -> hypothesis;
その燐脂質は決め難い
fact18 -> int3: 仮にその燐脂質が編集担当でないけどそれが進駐すればそれは決め難い; fact17 -> int4: もし「その燐脂質はビジネスソフトだが粗暴犯でない」ということは成り立たないとすればそれは取り掛かり易い; fact15 -> int5: その燐脂質は順でないならば「ビジネスソフトで粗暴犯でない」ということは成り立つということはない;
$facts$ = fact1: もしもなんらかの物が進駐するとすると取り掛かり易い fact2: もしとあるものは順でないとすれば「それはビジネスソフトだけど粗暴犯でない」ということは誤っている fact3: もし仮にこのチヌリクランが編集担当であるしそれに取り掛かり易いとすればその燐脂質は決め難くない fact4: もしなにかは編集担当でないとすれば「それは進駐するということはないけれど決め難い」ということは成り立たない fact5: あの短冊は進駐する fact6: もしもとある物は編集担当でないけれど進駐すればそれは決め難い fact7: もし「あの短冊は順でないが狡っ辛い」ということは誤りであるならその燐脂質は順でない fact8: もしこのチヌリクランは恋人でないとすると「「あの短冊は順でないがしかしそれは狡っ辛い」ということは成り立つ」ということは成り立たない fact9: もし仮に何らかの物が編集担当でないかあるいはそれがビジネスソフトでないか両方ともだとするとあの短冊は編集担当でない fact10: もし仮に「あるものはビジネスソフトであるがしかしそれは粗暴犯でない」ということは偽であるならばそれは取り掛かり易い fact11: もし仮にあの短冊が進駐するとしたらこのチヌリクランは編集担当である fact12: その輸送は進駐する fact13: 「このチヌリクランは取り掛かり易い」ということは正しい ; $hypothesis$ = その燐脂質は決め難い ; $proof$ = 
fact11 & fact5 -> int1: このチヌリクランは編集担当である; int1 & fact13 -> int2: このチヌリクランは編集担当でその上取り掛かり易い; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が進駐するとすると取り掛かり易い
事実2: もしとあるものは順でないとすれば「それはビジネスソフトだけど粗暴犯でない」ということは誤っている
事実3: もし仮にこのチヌリクランが編集担当であるしそれに取り掛かり易いとすればその燐脂質は決め難くない
事実4: もしなにかは編集担当でないとすれば「それは進駐するということはないけれど決め難い」ということは成り立たない
事実5: あの短冊は進駐する
事実6: もしもとある物は編集担当でないけれど進駐すればそれは決め難い
事実7: もし「あの短冊は順でないが狡っ辛い」ということは誤りであるならその燐脂質は順でない
事実8: もしこのチヌリクランは恋人でないとすると「「あの短冊は順でないがしかしそれは狡っ辛い」ということは成り立つ」ということは成り立たない
事実9: もし仮に何らかの物が編集担当でないかあるいはそれがビジネスソフトでないか両方ともだとするとあの短冊は編集担当でない
事実10: もし仮に「あるものはビジネスソフトであるがしかしそれは粗暴犯でない」ということは偽であるならばそれは取り掛かり易い
事実11: もし仮にあの短冊が進駐するとしたらこのチヌリクランは編集担当である
事実12: その輸送は進駐する
事実13: 「このチヌリクランは取り掛かり易い」ということは正しい

仮説: その燐脂質は決め難い
1. 事実11と事実5から、推論1: "このチヌリクランは編集担当である"が導かれる
2. 推論1と事実13から、推論2: "このチヌリクランは編集担当でその上取り掛かり易い"が導かれる
3. 推論2と事実3から、仮説が否定される

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