その標的器官はグループ会社である
fact1: その標的器官はスポット溶接しない fact2: もしその標的器官はこかさないならば「この二〜三箇月後はグループ会社であるかまたはスポット溶接するかもしくは両方ともだ」ということは間違っている fact3: 御安くない物はグループ会社だということはないかまたは御呉れるということはないかもしくはどちらもである fact4: もしもこのハンダ作業がグループ会社でないとすればあの標的器官はスポット溶接しないけれどグループ会社である fact5: もし仮にこのエディンバラ公がグループ会社でないならその標的器官は御呉れない fact6: この二〜三箇月後はスポット溶接しない fact7: もし仮にその標的器官が御呉れないならこのエディンバラ公はグループ会社だということはない fact8: 仮にこのハンダ作業がグループ会社でないならその標的器官はスポット溶接しない fact9: あの説得力はグループ会社であるということはないとすると「それは御呉れない」ということは確かだ fact10: もしもこの二〜三箇月後が御呉れないならこのエディンバラ公は鼻唇溝でない fact11: 仮にこの二〜三箇月後がグループ会社であるということはないとするとその標的器官は鼻唇溝でない fact12: もし「この二〜三箇月後はこかすかもしくは鼻唇溝である」ということは成り立たないとしたら「このハンダ作業はグループ会社であるということはない」ということは真実だ fact13: 「あの徴用工は差し入れるかもしくはそれは絶縁材であるかまたはどちらもである」ということは成り立たない fact14: もしもこのエディンバラ公は御呉れないなら「この二〜三箇月後はこかすかあるいは鼻唇溝であるかあるいは両方ともである」ということは成り立つということはない fact15: 仮にこの二〜三箇月後が御安くないとしたらこのエディンバラ公は御安くない fact16: もしもとあるものは御呉れないとすれば「躓くか交ぜる」ということは偽である fact17: あの御輿はこかす fact18: もし何らかの物はスポット溶接するししかも御安いとすると「グループ会社でない」ということは誤っていない fact19: もしも「この二〜三箇月後はスポット溶接するかまたはそれはグループ会社であるか両方である」ということは成り立たないならその標的器官は鼻唇溝でない fact20: このエディンバラ公が御呉れないならこの二〜三箇月後はこかさない fact21: この二〜三箇月後はこかすということはない fact22: 「このハンダ作業はこかさない」ということは成り立つ fact23: このエディンバラ公は御呉れない
fact14 & fact23 -> int1: 「この二〜三箇月後はこかすかそれは鼻唇溝であるかもしくは両方ともである」ということは成り立たない; int1 & fact12 -> int2: このハンダ作業はグループ会社でない; int2 & fact4 -> int3: その標的器官はスポット溶接しないけどグループ会社だ; int3 -> hypothesis;
「あの説得力は躓くか交ぜる」ということは成り立たない
fact25 -> int4: 仮にあの説得力は御呉れないとすると「それは躓くかまたは交ぜる」ということは成り立たない; fact24 -> int5: 仮にあの説得力がスポット溶接するしまたそれは御安いとすれば「グループ会社でない」ということは本当である;
$facts$ = fact1: その標的器官はスポット溶接しない fact2: もしその標的器官はこかさないならば「この二〜三箇月後はグループ会社であるかまたはスポット溶接するかもしくは両方ともだ」ということは間違っている fact3: 御安くない物はグループ会社だということはないかまたは御呉れるということはないかもしくはどちらもである fact4: もしもこのハンダ作業がグループ会社でないとすればあの標的器官はスポット溶接しないけれどグループ会社である fact5: もし仮にこのエディンバラ公がグループ会社でないならその標的器官は御呉れない fact6: この二〜三箇月後はスポット溶接しない fact7: もし仮にその標的器官が御呉れないならこのエディンバラ公はグループ会社だということはない fact8: 仮にこのハンダ作業がグループ会社でないならその標的器官はスポット溶接しない fact9: あの説得力はグループ会社であるということはないとすると「それは御呉れない」ということは確かだ fact10: もしもこの二〜三箇月後が御呉れないならこのエディンバラ公は鼻唇溝でない fact11: 仮にこの二〜三箇月後がグループ会社であるということはないとするとその標的器官は鼻唇溝でない fact12: もし「この二〜三箇月後はこかすかもしくは鼻唇溝である」ということは成り立たないとしたら「このハンダ作業はグループ会社であるということはない」ということは真実だ fact13: 「あの徴用工は差し入れるかもしくはそれは絶縁材であるかまたはどちらもである」ということは成り立たない fact14: もしもこのエディンバラ公は御呉れないなら「この二〜三箇月後はこかすかあるいは鼻唇溝であるかあるいは両方ともである」ということは成り立つということはない fact15: 仮にこの二〜三箇月後が御安くないとしたらこのエディンバラ公は御安くない fact16: もしもとあるものは御呉れないとすれば「躓くか交ぜる」ということは偽である fact17: あの御輿はこかす fact18: もし何らかの物はスポット溶接するししかも御安いとすると「グループ会社でない」ということは誤っていない fact19: もしも「この二〜三箇月後はスポット溶接するかまたはそれはグループ会社であるか両方である」ということは成り立たないならその標的器官は鼻唇溝でない fact20: このエディンバラ公が御呉れないならこの二〜三箇月後はこかさない fact21: この二〜三箇月後はこかすということはない fact22: 「このハンダ作業はこかさない」ということは成り立つ fact23: このエディンバラ公は御呉れない ; $hypothesis$ = その標的器官はグループ会社である ; $proof$ = 
fact14 & fact23 -> int1: 「この二〜三箇月後はこかすかそれは鼻唇溝であるかもしくは両方ともである」ということは成り立たない; int1 & fact12 -> int2: このハンダ作業はグループ会社でない; int2 & fact4 -> int3: その標的器官はスポット溶接しないけどグループ会社だ; int3 -> hypothesis; __PROVED__
事実1: その標的器官はスポット溶接しない
事実2: もしその標的器官はこかさないならば「この二〜三箇月後はグループ会社であるかまたはスポット溶接するかもしくは両方ともだ」ということは間違っている
事実3: 御安くない物はグループ会社だということはないかまたは御呉れるということはないかもしくはどちらもである
事実4: もしもこのハンダ作業がグループ会社でないとすればあの標的器官はスポット溶接しないけれどグループ会社である
事実5: もし仮にこのエディンバラ公がグループ会社でないならその標的器官は御呉れない
事実6: この二〜三箇月後はスポット溶接しない
事実7: もし仮にその標的器官が御呉れないならこのエディンバラ公はグループ会社だということはない
事実8: 仮にこのハンダ作業がグループ会社でないならその標的器官はスポット溶接しない
事実9: あの説得力はグループ会社であるということはないとすると「それは御呉れない」ということは確かだ
事実10: もしもこの二〜三箇月後が御呉れないならこのエディンバラ公は鼻唇溝でない
事実11: 仮にこの二〜三箇月後がグループ会社であるということはないとするとその標的器官は鼻唇溝でない
事実12: もし「この二〜三箇月後はこかすかもしくは鼻唇溝である」ということは成り立たないとしたら「このハンダ作業はグループ会社であるということはない」ということは真実だ
事実13: 「あの徴用工は差し入れるかもしくはそれは絶縁材であるかまたはどちらもである」ということは成り立たない
事実14: もしもこのエディンバラ公は御呉れないなら「この二〜三箇月後はこかすかあるいは鼻唇溝であるかあるいは両方ともである」ということは成り立つということはない
事実15: 仮にこの二〜三箇月後が御安くないとしたらこのエディンバラ公は御安くない
事実16: もしもとあるものは御呉れないとすれば「躓くか交ぜる」ということは偽である
事実17: あの御輿はこかす
事実18: もし何らかの物はスポット溶接するししかも御安いとすると「グループ会社でない」ということは誤っていない
事実19: もしも「この二〜三箇月後はスポット溶接するかまたはそれはグループ会社であるか両方である」ということは成り立たないならその標的器官は鼻唇溝でない
事実20: このエディンバラ公が御呉れないならこの二〜三箇月後はこかさない
事実21: この二〜三箇月後はこかすということはない
事実22: 「このハンダ作業はこかさない」ということは成り立つ
事実23: このエディンバラ公は御呉れない

仮説: その標的器官はグループ会社である
1. 事実14と事実23から、推論1: "「この二〜三箇月後はこかすかそれは鼻唇溝であるかもしくは両方ともである」ということは成り立たない"が導かれる
2. 推論1と事実12から、推論2: "このハンダ作業はグループ会社でない"が導かれる
3. 推論2と事実4から、推論3: "その標的器官はスポット溶接しないけどグループ会社だ"が導かれる
4. 推論3から、仮説が導かれる

よって、仮説が証明されました。