このレシプロはＧ型星である
fact1: もしなにかは明け遣るとすればＧ型星である fact2: この辺りが運転し易くないならばこのレシプロは心無いということはないかあるいは黒しということはないかもしくはどちらもだ fact3: 「贔屓しない」ものはある fact4: この面接者が運転し易くないしその上やんごとなくないならこの辺りは運転し易くない fact5: あるものは贔屓するかまたは調査員であるかもしくは両方ともだ fact6: 「この辺りは藁葺き屋根だということはない」ということは事実であるならばこのレシプロは明け遣る fact7: もし仮に「何かは心無くない」ということは成り立てば「それは揺るぎなくないか引き会わせらないかどちらもだ」ということは確かでない fact8: もしこの芝公園は御父兄でないとすると「この面接者は作業し易いということはないし採用選考システムでない」ということは誤っている fact9: 「「贔屓するかあるいは調査員であるかあるいはどちらもである」ということは成り立たない」ものはある fact10: 仮に何かは心無くないかそれが黒しということはないとするとそれは心無くない fact11: 「調査員であるということはない」物はある fact12: もし仮に「「贔屓するかあるいは調査員であるかまたはどちらもである」ということは成り立たない」物があるとするとこの辺りは藁葺き屋根でない fact13: もしもなんらかの物が明け遣らないならばＧ型星でなくて藁葺き屋根でない fact14: もし仮にこの面接者が加増しないならそれは運転し易くないしその上やんごとなくない fact15: 仮に「とある物は揺るぎなくないかもしくは引き会わせらない」ということは正しくないとすると明け遣らない fact16: 仮に「この面接者は作業し易くないし更に採用選考システムであるということはない」ということは成り立たないとしたら加増するということはない
fact9 & fact12 -> int1: この辺りは藁葺き屋根でない; int1 & fact6 -> int2: このレシプロは明け遣る; fact1 -> int3: もしこのレシプロが明け遣るとすればＧ型星だ; int2 & int3 -> hypothesis;
このレシプロはＧ型星でない
fact22 -> int4: このレシプロが明け遣らないとするとそれはＧ型星でなくてそれに藁葺き屋根でない; fact19 -> int5: もし「このレシプロは揺るぎなくないか引き会わせるということはないかもしくはどちらもだ」ということは偽であるとすると明け遣らない; fact18 -> int6: もしこのレシプロは心無くないとすれば「揺るぎなくないかもしくは引き会わせらないかまたは両方ともだ」ということは間違いである; fact23 -> int7: 仮にこのレシプロが心無くないかもしくはそれが黒しないならそれは心無くない;
$facts$ = fact1: もしなにかは明け遣るとすればＧ型星である fact2: この辺りが運転し易くないならばこのレシプロは心無いということはないかあるいは黒しということはないかもしくはどちらもだ fact3: 「贔屓しない」ものはある fact4: この面接者が運転し易くないしその上やんごとなくないならこの辺りは運転し易くない fact5: あるものは贔屓するかまたは調査員であるかもしくは両方ともだ fact6: 「この辺りは藁葺き屋根だということはない」ということは事実であるならばこのレシプロは明け遣る fact7: もし仮に「何かは心無くない」ということは成り立てば「それは揺るぎなくないか引き会わせらないかどちらもだ」ということは確かでない fact8: もしこの芝公園は御父兄でないとすると「この面接者は作業し易いということはないし採用選考システムでない」ということは誤っている fact9: 「「贔屓するかあるいは調査員であるかあるいはどちらもである」ということは成り立たない」ものはある fact10: 仮に何かは心無くないかそれが黒しということはないとするとそれは心無くない fact11: 「調査員であるということはない」物はある fact12: もし仮に「「贔屓するかあるいは調査員であるかまたはどちらもである」ということは成り立たない」物があるとするとこの辺りは藁葺き屋根でない fact13: もしもなんらかの物が明け遣らないならばＧ型星でなくて藁葺き屋根でない fact14: もし仮にこの面接者が加増しないならそれは運転し易くないしその上やんごとなくない fact15: 仮に「とある物は揺るぎなくないかもしくは引き会わせらない」ということは正しくないとすると明け遣らない fact16: 仮に「この面接者は作業し易くないし更に採用選考システムであるということはない」ということは成り立たないとしたら加増するということはない ; $hypothesis$ = このレシプロはＧ型星である ; $proof$ = 
fact9 & fact12 -> int1: この辺りは藁葺き屋根でない; int1 & fact6 -> int2: このレシプロは明け遣る; fact1 -> int3: もしこのレシプロが明け遣るとすればＧ型星だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もしなにかは明け遣るとすればＧ型星である
事実2: この辺りが運転し易くないならばこのレシプロは心無いということはないかあるいは黒しということはないかもしくはどちらもだ
事実3: 「贔屓しない」ものはある
事実4: この面接者が運転し易くないしその上やんごとなくないならこの辺りは運転し易くない
事実5: あるものは贔屓するかまたは調査員であるかもしくは両方ともだ
事実6: 「この辺りは藁葺き屋根だということはない」ということは事実であるならばこのレシプロは明け遣る
事実7: もし仮に「何かは心無くない」ということは成り立てば「それは揺るぎなくないか引き会わせらないかどちらもだ」ということは確かでない
事実8: もしこの芝公園は御父兄でないとすると「この面接者は作業し易いということはないし採用選考システムでない」ということは誤っている
事実9: 「「贔屓するかあるいは調査員であるかあるいはどちらもである」ということは成り立たない」ものはある
事実10: 仮に何かは心無くないかそれが黒しということはないとするとそれは心無くない
事実11: 「調査員であるということはない」物はある
事実12: もし仮に「「贔屓するかあるいは調査員であるかまたはどちらもである」ということは成り立たない」物があるとするとこの辺りは藁葺き屋根でない
事実13: もしもなんらかの物が明け遣らないならばＧ型星でなくて藁葺き屋根でない
事実14: もし仮にこの面接者が加増しないならそれは運転し易くないしその上やんごとなくない
事実15: 仮に「とある物は揺るぎなくないかもしくは引き会わせらない」ということは正しくないとすると明け遣らない
事実16: 仮に「この面接者は作業し易くないし更に採用選考システムであるということはない」ということは成り立たないとしたら加増するということはない

仮説: このレシプロはＧ型星である
1. 事実9と事実12から、推論1: "この辺りは藁葺き屋根でない"が導かれる
2. 推論1と事実6から、推論2: "このレシプロは明け遣る"が導かれる
3. 事実1から、推論3: "もしこのレシプロが明け遣るとすればＧ型星だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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