そのＦＡＤは辛い
fact1: もしあのハイパーリンクは密売するとすると「宣言すけど見え難くない」ということは成り立たない fact2: もし仮にあのハイパーリンクは組み立てるなら「あの外交面は鑑定団である」ということは成り立つ fact3: 仮に「なにがしかのものは遣り過ごすけどそれは辛くない」ということは誤っているなら「それは辛い」ということは本当だ fact4: 「あのハイパーリンクは組み立てる」ということは確かだ fact5: もし仮に鑑定団が遣り過ごせばそのＦＡＤはプロフェッショナル・ホワイトカラーでない fact6: もしなんらかの物が組み立てないならばそれは鑑定団であるかあるいは辛くないかあるいは両方である fact7: 「あのＭＩＤＩインターフェースは組み立てる」ということは確かだ fact8: とあるものはプロフェッショナル・ホワイトカラーでないとすると辛い fact9: もし仮にそのＦＡＤは歩行しないとすれば「法人活動だしかつそれはＯＥＭでない」ということは成り立たない fact10: 「「あの外交面は法人活動でない」ということは成り立つとすれば「「あのハイパーリンクは心弱いけど立ち葉でない」ということは成り立たない」ということは成り立つ」ということは成り立つ fact11: 仮に「あるものは組み立てないけどプロフェッショナル・ホワイトカラーである」ということは嘘なら「それは鑑定団でない」ということは確かである fact12: あのハイパーリンクは密売する fact13: もしも「そのＦＡＤは法人活動であるがしかしＯＥＭであるということはない」ということは成り立つということはないならばあの外交面は法人活動だということはない fact14: 仮にあのハイパーリンクは辛いけれど鑑定団だということはないなら「この技術支援は辛い」ということは本当だ fact15: 「あの外交面は遣り過ごさないけれど宣言す」ということは嘘だ fact16: もし仮に「ある物は心弱いけど立ち葉でない」ということは偽だとすれば心弱いということはない fact17: もしも「何らかのものは宣言すけれど見え難くない」ということは間違っているとすると宣言すらない fact18: 仮にあのハイパーリンクは宣言すらないとすれば「それは遣り過ごすしおまけに辛くない」ということは成り立つということはない fact19: もし仮に何らかの物は心弱くないならば「組み立てないがプロフェッショナル・ホワイトカラーである」ということは確かでない fact20: もしも「あの外交面は遣り過ごすということはないが宣言す」ということは成り立たないとすれば「遣り過ごす」ということは本当である
fact2 & fact4 -> int1: あの外交面は鑑定団だ; fact20 & fact15 -> int2: 「あの外交面は遣り過ごす」ということは事実だ; int1 & int2 -> int3: あの外交面は鑑定団で遣り過ごす; int3 -> int4: 「鑑定団だし遣り過ごす」ものはある; int4 & fact5 -> int5: そのＦＡＤはプロフェッショナル・ホワイトカラーでない; fact8 -> int6: 仮にそのＦＡＤはプロフェッショナル・ホワイトカラーでないならそれは辛い; int5 & int6 -> hypothesis;
そのＦＡＤは辛いということはない
fact21 -> int7: もしあのハイパーリンクが組み立てるということはないなら鑑定団であるかもしくはそれは辛くないかもしくは両方ともだ;
$facts$ = fact1: もしあのハイパーリンクは密売するとすると「宣言すけど見え難くない」ということは成り立たない fact2: もし仮にあのハイパーリンクは組み立てるなら「あの外交面は鑑定団である」ということは成り立つ fact3: 仮に「なにがしかのものは遣り過ごすけどそれは辛くない」ということは誤っているなら「それは辛い」ということは本当だ fact4: 「あのハイパーリンクは組み立てる」ということは確かだ fact5: もし仮に鑑定団が遣り過ごせばそのＦＡＤはプロフェッショナル・ホワイトカラーでない fact6: もしなんらかの物が組み立てないならばそれは鑑定団であるかあるいは辛くないかあるいは両方である fact7: 「あのＭＩＤＩインターフェースは組み立てる」ということは確かだ fact8: とあるものはプロフェッショナル・ホワイトカラーでないとすると辛い fact9: もし仮にそのＦＡＤは歩行しないとすれば「法人活動だしかつそれはＯＥＭでない」ということは成り立たない fact10: 「「あの外交面は法人活動でない」ということは成り立つとすれば「「あのハイパーリンクは心弱いけど立ち葉でない」ということは成り立たない」ということは成り立つ」ということは成り立つ fact11: 仮に「あるものは組み立てないけどプロフェッショナル・ホワイトカラーである」ということは嘘なら「それは鑑定団でない」ということは確かである fact12: あのハイパーリンクは密売する fact13: もしも「そのＦＡＤは法人活動であるがしかしＯＥＭであるということはない」ということは成り立つということはないならばあの外交面は法人活動だということはない fact14: 仮にあのハイパーリンクは辛いけれど鑑定団だということはないなら「この技術支援は辛い」ということは本当だ fact15: 「あの外交面は遣り過ごさないけれど宣言す」ということは嘘だ fact16: もし仮に「ある物は心弱いけど立ち葉でない」ということは偽だとすれば心弱いということはない fact17: もしも「何らかのものは宣言すけれど見え難くない」ということは間違っているとすると宣言すらない fact18: 仮にあのハイパーリンクは宣言すらないとすれば「それは遣り過ごすしおまけに辛くない」ということは成り立つということはない fact19: もし仮に何らかの物は心弱くないならば「組み立てないがプロフェッショナル・ホワイトカラーである」ということは確かでない fact20: もしも「あの外交面は遣り過ごすということはないが宣言す」ということは成り立たないとすれば「遣り過ごす」ということは本当である ; $hypothesis$ = そのＦＡＤは辛い ; $proof$ = 
fact2 & fact4 -> int1: あの外交面は鑑定団だ; fact20 & fact15 -> int2: 「あの外交面は遣り過ごす」ということは事実だ; int1 & int2 -> int3: あの外交面は鑑定団で遣り過ごす; int3 -> int4: 「鑑定団だし遣り過ごす」ものはある; int4 & fact5 -> int5: そのＦＡＤはプロフェッショナル・ホワイトカラーでない; fact8 -> int6: 仮にそのＦＡＤはプロフェッショナル・ホワイトカラーでないならそれは辛い; int5 & int6 -> hypothesis; __PROVED__
事実1: もしあのハイパーリンクは密売するとすると「宣言すけど見え難くない」ということは成り立たない
事実2: もし仮にあのハイパーリンクは組み立てるなら「あの外交面は鑑定団である」ということは成り立つ
事実3: 仮に「なにがしかのものは遣り過ごすけどそれは辛くない」ということは誤っているなら「それは辛い」ということは本当だ
事実4: 「あのハイパーリンクは組み立てる」ということは確かだ
事実5: もし仮に鑑定団が遣り過ごせばそのＦＡＤはプロフェッショナル・ホワイトカラーでない
事実6: もしなんらかの物が組み立てないならばそれは鑑定団であるかあるいは辛くないかあるいは両方である
事実7: 「あのＭＩＤＩインターフェースは組み立てる」ということは確かだ
事実8: とあるものはプロフェッショナル・ホワイトカラーでないとすると辛い
事実9: もし仮にそのＦＡＤは歩行しないとすれば「法人活動だしかつそれはＯＥＭでない」ということは成り立たない
事実10: 「「あの外交面は法人活動でない」ということは成り立つとすれば「「あのハイパーリンクは心弱いけど立ち葉でない」ということは成り立たない」ということは成り立つ」ということは成り立つ
事実11: 仮に「あるものは組み立てないけどプロフェッショナル・ホワイトカラーである」ということは嘘なら「それは鑑定団でない」ということは確かである
事実12: あのハイパーリンクは密売する
事実13: もしも「そのＦＡＤは法人活動であるがしかしＯＥＭであるということはない」ということは成り立つということはないならばあの外交面は法人活動だということはない
事実14: 仮にあのハイパーリンクは辛いけれど鑑定団だということはないなら「この技術支援は辛い」ということは本当だ
事実15: 「あの外交面は遣り過ごさないけれど宣言す」ということは嘘だ
事実16: もし仮に「ある物は心弱いけど立ち葉でない」ということは偽だとすれば心弱いということはない
事実17: もしも「何らかのものは宣言すけれど見え難くない」ということは間違っているとすると宣言すらない
事実18: 仮にあのハイパーリンクは宣言すらないとすれば「それは遣り過ごすしおまけに辛くない」ということは成り立つということはない
事実19: もし仮に何らかの物は心弱くないならば「組み立てないがプロフェッショナル・ホワイトカラーである」ということは確かでない
事実20: もしも「あの外交面は遣り過ごすということはないが宣言す」ということは成り立たないとすれば「遣り過ごす」ということは本当である

仮説: そのＦＡＤは辛い
1. 事実2と事実4から、推論1: "あの外交面は鑑定団だ"が導かれる
2. 事実20と事実15から、推論2: "「あの外交面は遣り過ごす」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "あの外交面は鑑定団で遣り過ごす"が導かれる
4. 推論3から、推論4: "「鑑定団だし遣り過ごす」ものはある"が導かれる
5. 推論4と事実5から、推論5: "そのＦＡＤはプロフェッショナル・ホワイトカラーでない"が導かれる
6. 事実8から、推論6: "仮にそのＦＡＤはプロフェッショナル・ホワイトカラーでないならそれは辛い"が導かれる
7. 推論5と推論6から、仮説が導かれる

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