その約六千人は小気味良い
fact1: もし「なにがしかの物はマスカラであるかもしくは報道しない」ということは事実と異なるとしたらそれはルポライターだ fact2: もしも「ストレッチしない」物があるとすればその約六千人は製造管理である fact3: もし「とあるものは報道しないかまたはマスカラであるかあるいは両方ともだ」ということは事実と異なれば小気味良い fact4: もし仮に何らかの物は十日条であるならルポライターだ fact5: もし仮に「マスカラでないかもしくは報道しない」ものがあるとすればあの約六千人は小気味良い fact6: もし「空洞化する」ものはあるとすると「あのファースト・フードはルポライターであるしその上それは表わす」ということは本当でない fact7: 「仮に「なんらかのものは小気味良くないかまたは報道するかまたは両方ともだ」ということは成り立たないとしたらそれはルポライターである」ということは事実である fact8: もしその英語がルポライターであるしその上小気味良いとするとその約六千人は小気味良くない fact9: とあるものはマスカラだということはないかまたは小気味良くないか両方ともだ fact10: もしも「何かは抱くしその上それは女らしい」ということは間違っているとすれば「それは抱かない」ということは確かである fact11: 「潤うかあるいは四十六年判決でない」物はある fact12: 仮に「「何かはルポライターでないかもしくはそれは小気味良くないかもしくは両方だ」ということは確かだ」ということは事実と異なるとするとそれはマスカラだ fact13: 「空洞化する」物はある fact14: この調伏は暮らし易くないかまたはそれはマスカラだということはない fact15: その英語は十日条である fact16: 「あのファースト・フードがルポライターだしまたそれは小気味良い」ということは誤っている fact17: 「なにがしかの物はマスカラでないかまたは報道しないかもしくは両方ともである」ということは成り立たないとするとルポライターだ fact18: もし「あのファースト・フードは小気味良くてかつ表わす」ということは間違いだとすると小気味良くない fact19: もし「何らかの物はルポライターであるし表わす」ということは偽ならそれはルポライターだということはない
fact17 -> int1: もし仮に「あのファースト・フードはマスカラでないかまたはそれは報道しない」ということは誤りであるとするとルポライターだ; void -> assump1: 以下のように仮定する。「あのファースト・フードはマスカラでないかまたはそれは報道しないかどちらもである」ということは成り立たない; int1 & assump1 -> int2: あのファースト・フードはルポライターだ; fact6 & fact13 -> int3: 「あのファースト・フードはルポライターで表わす」ということは嘘である; fact19 -> int4: もしも「あのファースト・フードがルポライターだし更に表わす」ということは成り立たないとしたらルポライターであるということはない; int3 & int4 -> int5: あのファースト・フードはルポライターでない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのファースト・フードはマスカラでないかもしくは報道しない; int7 -> int8: なにがしかの物はマスカラだということはないかもしくは報道しないかどちらもである; int8 & fact5 -> hypothesis;
その約六千人は小気味良くない
fact22 -> int9: もしその英語は十日条であるならルポライターである; int9 & fact20 -> int10: その英語はルポライターである;
$facts$ = fact1: もし「なにがしかの物はマスカラであるかもしくは報道しない」ということは事実と異なるとしたらそれはルポライターだ fact2: もしも「ストレッチしない」物があるとすればその約六千人は製造管理である fact3: もし「とあるものは報道しないかまたはマスカラであるかあるいは両方ともだ」ということは事実と異なれば小気味良い fact4: もし仮に何らかの物は十日条であるならルポライターだ fact5: もし仮に「マスカラでないかもしくは報道しない」ものがあるとすればあの約六千人は小気味良い fact6: もし「空洞化する」ものはあるとすると「あのファースト・フードはルポライターであるしその上それは表わす」ということは本当でない fact7: 「仮に「なんらかのものは小気味良くないかまたは報道するかまたは両方ともだ」ということは成り立たないとしたらそれはルポライターである」ということは事実である fact8: もしその英語がルポライターであるしその上小気味良いとするとその約六千人は小気味良くない fact9: とあるものはマスカラだということはないかまたは小気味良くないか両方ともだ fact10: もしも「何かは抱くしその上それは女らしい」ということは間違っているとすれば「それは抱かない」ということは確かである fact11: 「潤うかあるいは四十六年判決でない」物はある fact12: 仮に「「何かはルポライターでないかもしくはそれは小気味良くないかもしくは両方だ」ということは確かだ」ということは事実と異なるとするとそれはマスカラだ fact13: 「空洞化する」物はある fact14: この調伏は暮らし易くないかまたはそれはマスカラだということはない fact15: その英語は十日条である fact16: 「あのファースト・フードがルポライターだしまたそれは小気味良い」ということは誤っている fact17: 「なにがしかの物はマスカラでないかまたは報道しないかもしくは両方ともである」ということは成り立たないとするとルポライターだ fact18: もし「あのファースト・フードは小気味良くてかつ表わす」ということは間違いだとすると小気味良くない fact19: もし「何らかの物はルポライターであるし表わす」ということは偽ならそれはルポライターだということはない ; $hypothesis$ = その約六千人は小気味良い ; $proof$ = 
fact17 -> int1: もし仮に「あのファースト・フードはマスカラでないかまたはそれは報道しない」ということは誤りであるとするとルポライターだ; void -> assump1: 以下のように仮定する。「あのファースト・フードはマスカラでないかまたはそれは報道しないかどちらもである」ということは成り立たない; int1 & assump1 -> int2: あのファースト・フードはルポライターだ; fact6 & fact13 -> int3: 「あのファースト・フードはルポライターで表わす」ということは嘘である; fact19 -> int4: もしも「あのファースト・フードがルポライターだし更に表わす」ということは成り立たないとしたらルポライターであるということはない; int3 & int4 -> int5: あのファースト・フードはルポライターでない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのファースト・フードはマスカラでないかもしくは報道しない; int7 -> int8: なにがしかの物はマスカラだということはないかもしくは報道しないかどちらもである; int8 & fact5 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物はマスカラであるかもしくは報道しない」ということは事実と異なるとしたらそれはルポライターだ
事実2: もしも「ストレッチしない」物があるとすればその約六千人は製造管理である
事実3: もし「とあるものは報道しないかまたはマスカラであるかあるいは両方ともだ」ということは事実と異なれば小気味良い
事実4: もし仮に何らかの物は十日条であるならルポライターだ
事実5: もし仮に「マスカラでないかもしくは報道しない」ものがあるとすればあの約六千人は小気味良い
事実6: もし「空洞化する」ものはあるとすると「あのファースト・フードはルポライターであるしその上それは表わす」ということは本当でない
事実7: 「仮に「なんらかのものは小気味良くないかまたは報道するかまたは両方ともだ」ということは成り立たないとしたらそれはルポライターである」ということは事実である
事実8: もしその英語がルポライターであるしその上小気味良いとするとその約六千人は小気味良くない
事実9: とあるものはマスカラだということはないかまたは小気味良くないか両方ともだ
事実10: もしも「何かは抱くしその上それは女らしい」ということは間違っているとすれば「それは抱かない」ということは確かである
事実11: 「潤うかあるいは四十六年判決でない」物はある
事実12: 仮に「「何かはルポライターでないかもしくはそれは小気味良くないかもしくは両方だ」ということは確かだ」ということは事実と異なるとするとそれはマスカラだ
事実13: 「空洞化する」物はある
事実14: この調伏は暮らし易くないかまたはそれはマスカラだということはない
事実15: その英語は十日条である
事実16: 「あのファースト・フードがルポライターだしまたそれは小気味良い」ということは誤っている
事実17: 「なにがしかの物はマスカラでないかまたは報道しないかもしくは両方ともである」ということは成り立たないとするとルポライターだ
事実18: もし「あのファースト・フードは小気味良くてかつ表わす」ということは間違いだとすると小気味良くない
事実19: もし「何らかの物はルポライターであるし表わす」ということは偽ならそれはルポライターだということはない

仮説: その約六千人は小気味良い
1. 事実17から、推論1: "もし仮に「あのファースト・フードはマスカラでないかまたはそれは報道しない」ということは誤りであるとするとルポライターだ"が導かれる
2. 仮定1: 以下のように仮定する。「あのファースト・フードはマスカラでないかまたはそれは報道しないかどちらもである」ということは成り立たない
3. 推論1と仮定1から、推論2: "あのファースト・フードはルポライターだ"が導かれる
4. 事実6と事実13から、推論3: "「あのファースト・フードはルポライターで表わす」ということは嘘である"が導かれる
5. 事実19から、推論4: "もしも「あのファースト・フードがルポライターだし更に表わす」ということは成り立たないとしたらルポライターであるということはない"が導かれる
6. 推論3と推論4から、推論5: "あのファースト・フードはルポライターでない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのファースト・フードはマスカラでないかもしくは報道しない"が導かれる
9. 推論7から、推論8: "なにがしかの物はマスカラだということはないかもしくは報道しないかどちらもである"が導かれる
10. 推論8と事実5から、仮説が導かれる

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