このサービス会社は広報部である
fact1: この凄さはワルサーＰであるけどそれは音声でない fact2: もしも「一斑だし加えてワルサーＰな」物があるならこの遺残は切れ者でない fact3: この運転手は遅くであるかもしくは作業し易いか両方である fact4: 仮に「この運転手は遅くである」ということは正しいならばこの凄さは一斑だ fact5: このサービス会社は主張するかもしくは音声であるかもしくは両方ともである fact6: この凄さは音声だということはない fact7: 「一斑な」ものはある fact8: 「この運転手は作業し易いかそれは音声であるかどちらもである」ということは嘘でない fact9: もしもこの運転手が作業し易いとすればこの凄さは一斑だ fact10: もし仮に一斑が遅くであるとしたらこの凄さはワルサーＰでない fact11: この遺残は切れ者であるかまたは広報部であるか両方である fact12: この運転手が一斑でないならばこの凄さは作業し易いということはない fact13: 仮にこの運転手は広報部でないとすると「このサービス会社は作業し易くない」ということは事実である fact14: 遅くは広報部である fact15: 「「切れ者である」ということは成り立つ」ものはある fact16: この凄さは広報部だ fact17: 仮にこの遺残が切れ者でないとするとこのサービス会社は広報部でない
fact3 & fact4 & fact9 -> int1: この凄さは一斑だ; fact1 -> int2: この凄さはワルサーＰだ; int1 & int2 -> int3: この凄さは一斑であるしかつワルサーＰである; int3 -> int4: 「一斑で更にワルサーＰである」ものはある; int4 & fact2 -> int5: この遺残は切れ者でない; int5 & fact17 -> hypothesis;
このサービス会社は広報部である
fact18 -> int6: 仮にこのサービス会社が遅くだとすればそれは広報部である;
$facts$ = fact1: この凄さはワルサーＰであるけどそれは音声でない fact2: もしも「一斑だし加えてワルサーＰな」物があるならこの遺残は切れ者でない fact3: この運転手は遅くであるかもしくは作業し易いか両方である fact4: 仮に「この運転手は遅くである」ということは正しいならばこの凄さは一斑だ fact5: このサービス会社は主張するかもしくは音声であるかもしくは両方ともである fact6: この凄さは音声だということはない fact7: 「一斑な」ものはある fact8: 「この運転手は作業し易いかそれは音声であるかどちらもである」ということは嘘でない fact9: もしもこの運転手が作業し易いとすればこの凄さは一斑だ fact10: もし仮に一斑が遅くであるとしたらこの凄さはワルサーＰでない fact11: この遺残は切れ者であるかまたは広報部であるか両方である fact12: この運転手が一斑でないならばこの凄さは作業し易いということはない fact13: 仮にこの運転手は広報部でないとすると「このサービス会社は作業し易くない」ということは事実である fact14: 遅くは広報部である fact15: 「「切れ者である」ということは成り立つ」ものはある fact16: この凄さは広報部だ fact17: 仮にこの遺残が切れ者でないとするとこのサービス会社は広報部でない ; $hypothesis$ = このサービス会社は広報部である ; $proof$ = 
fact3 & fact4 & fact9 -> int1: この凄さは一斑だ; fact1 -> int2: この凄さはワルサーＰだ; int1 & int2 -> int3: この凄さは一斑であるしかつワルサーＰである; int3 -> int4: 「一斑で更にワルサーＰである」ものはある; int4 & fact2 -> int5: この遺残は切れ者でない; int5 & fact17 -> hypothesis; __DISPROVED__
事実1: この凄さはワルサーＰであるけどそれは音声でない
事実2: もしも「一斑だし加えてワルサーＰな」物があるならこの遺残は切れ者でない
事実3: この運転手は遅くであるかもしくは作業し易いか両方である
事実4: 仮に「この運転手は遅くである」ということは正しいならばこの凄さは一斑だ
事実5: このサービス会社は主張するかもしくは音声であるかもしくは両方ともである
事実6: この凄さは音声だということはない
事実7: 「一斑な」ものはある
事実8: 「この運転手は作業し易いかそれは音声であるかどちらもである」ということは嘘でない
事実9: もしもこの運転手が作業し易いとすればこの凄さは一斑だ
事実10: もし仮に一斑が遅くであるとしたらこの凄さはワルサーＰでない
事実11: この遺残は切れ者であるかまたは広報部であるか両方である
事実12: この運転手が一斑でないならばこの凄さは作業し易いということはない
事実13: 仮にこの運転手は広報部でないとすると「このサービス会社は作業し易くない」ということは事実である
事実14: 遅くは広報部である
事実15: 「「切れ者である」ということは成り立つ」ものはある
事実16: この凄さは広報部だ
事実17: 仮にこの遺残が切れ者でないとするとこのサービス会社は広報部でない

仮説: このサービス会社は広報部である
1. 事実3と事実4と事実9から、推論1: "この凄さは一斑だ"が導かれる
2. 事実1から、推論2: "この凄さはワルサーＰだ"が導かれる
3. 推論1と推論2から、推論3: "この凄さは一斑であるしかつワルサーＰである"が導かれる
4. 推論3から、推論4: "「一斑で更にワルサーＰである」ものはある"が導かれる
5. 推論4と事実2から、推論5: "この遺残は切れ者でない"が導かれる
6. 推論5と事実17から、仮説が否定される

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