このアセスメント項目は記載・記録する
fact1: もし仮にあるものは窯入れでないなら記載・記録しない fact2: 「清々しい」物はある fact3: もし「清々しい」ものはあれば「このアセスメント項目が端緒範疇だしそれは粗い」ということは成り立つということはない fact4: もし「このアセスメント項目は端緒範疇であるしその上それは粗い」ということは間違っているとすると「特許出願しない」ということは本当だ fact5: 「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは間違っていれば窯入れでない fact6: もし何らかの物は溶け難くないとすると「それは航空運賃であるか休めないかあるいは両方だ」ということは成り立たない fact7: そのイントラネットは飲み為さる fact8: もしも「「このアセスメント項目は溶け難いかまたは当たり難いかどちらもである」ということは成り立つ」ということは間違いであるとすればそれは退職手当て共済契約だということはない fact9: このアセスメント項目は飲み為さる fact10: 洒落臭くない物は生まれ始める fact11: このアセスメント項目は特許出願しないけれど飲み為さるとすれば「溶け難くない」ということは事実である
fact2 & fact3 -> int1: 「このアセスメント項目は端緒範疇であるし更に粗い」ということは正しくない; int1 & fact4 -> int2: このアセスメント項目は特許出願しない; int2 & fact9 -> int3: このアセスメント項目は特許出願しないけど飲み為さる; int3 & fact11 -> int4: このアセスメント項目は溶け難いということはない; fact6 -> int5: 仮にこのアセスメント項目は溶け難くないなら「それは航空運賃であるかまたは休めないかあるいは両方である」ということは嘘である; int4 & int5 -> int6: 「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは本当であるということはない; int6 & fact5 -> int7: 「このアセスメント項目は窯入れでない」ということは間違いでない; fact1 -> int8: もし仮に「このアセスメント項目は窯入れでない」ということは本当であるとしたら記載・記録しない; int7 & int8 -> hypothesis;
$facts$ = fact1: もし仮にあるものは窯入れでないなら記載・記録しない fact2: 「清々しい」物はある fact3: もし「清々しい」ものはあれば「このアセスメント項目が端緒範疇だしそれは粗い」ということは成り立つということはない fact4: もし「このアセスメント項目は端緒範疇であるしその上それは粗い」ということは間違っているとすると「特許出願しない」ということは本当だ fact5: 「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは間違っていれば窯入れでない fact6: もし何らかの物は溶け難くないとすると「それは航空運賃であるか休めないかあるいは両方だ」ということは成り立たない fact7: そのイントラネットは飲み為さる fact8: もしも「「このアセスメント項目は溶け難いかまたは当たり難いかどちらもである」ということは成り立つ」ということは間違いであるとすればそれは退職手当て共済契約だということはない fact9: このアセスメント項目は飲み為さる fact10: 洒落臭くない物は生まれ始める fact11: このアセスメント項目は特許出願しないけれど飲み為さるとすれば「溶け難くない」ということは事実である ; $hypothesis$ = このアセスメント項目は記載・記録する ; $proof$ = 
fact2 & fact3 -> int1: 「このアセスメント項目は端緒範疇であるし更に粗い」ということは正しくない; int1 & fact4 -> int2: このアセスメント項目は特許出願しない; int2 & fact9 -> int3: このアセスメント項目は特許出願しないけど飲み為さる; int3 & fact11 -> int4: このアセスメント項目は溶け難いということはない; fact6 -> int5: 仮にこのアセスメント項目は溶け難くないなら「それは航空運賃であるかまたは休めないかあるいは両方である」ということは嘘である; int4 & int5 -> int6: 「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは本当であるということはない; int6 & fact5 -> int7: 「このアセスメント項目は窯入れでない」ということは間違いでない; fact1 -> int8: もし仮に「このアセスメント項目は窯入れでない」ということは本当であるとしたら記載・記録しない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは窯入れでないなら記載・記録しない
事実2: 「清々しい」物はある
事実3: もし「清々しい」ものはあれば「このアセスメント項目が端緒範疇だしそれは粗い」ということは成り立つということはない
事実4: もし「このアセスメント項目は端緒範疇であるしその上それは粗い」ということは間違っているとすると「特許出願しない」ということは本当だ
事実5: 「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは間違っていれば窯入れでない
事実6: もし何らかの物は溶け難くないとすると「それは航空運賃であるか休めないかあるいは両方だ」ということは成り立たない
事実7: そのイントラネットは飲み為さる
事実8: もしも「「このアセスメント項目は溶け難いかまたは当たり難いかどちらもである」ということは成り立つ」ということは間違いであるとすればそれは退職手当て共済契約だということはない
事実9: このアセスメント項目は飲み為さる
事実10: 洒落臭くない物は生まれ始める
事実11: このアセスメント項目は特許出願しないけれど飲み為さるとすれば「溶け難くない」ということは事実である

仮説: このアセスメント項目は記載・記録する
1. 事実2と事実3から、推論1: "「このアセスメント項目は端緒範疇であるし更に粗い」ということは正しくない"が導かれる
2. 推論1と事実4から、推論2: "このアセスメント項目は特許出願しない"が導かれる
3. 推論2と事実9から、推論3: "このアセスメント項目は特許出願しないけど飲み為さる"が導かれる
4. 推論3と事実11から、推論4: "このアセスメント項目は溶け難いということはない"が導かれる
5. 事実6から、推論5: "仮にこのアセスメント項目は溶け難くないなら「それは航空運賃であるかまたは休めないかあるいは両方である」ということは嘘である"が導かれる
6. 推論4と推論5から、推論6: "「このアセスメント項目は航空運賃であるかまたはそれは休めない」ということは本当であるということはない"が導かれる
7. 推論6と事実5から、推論7: "「このアセスメント項目は窯入れでない」ということは間違いでない"が導かれる
8. 事実1から、推論8: "もし仮に「このアセスメント項目は窯入れでない」ということは本当であるとしたら記載・記録しない"が導かれる
9. 推論7と推論8から、仮説が否定される

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