その作業装置は生臭い
fact1: もしもそのユーちゃんは勘弁しないとすると「転げ回るしそれは引っ張り込む」ということは成り立つということはない fact2: そのカロリアは望見するということはないとすれば「その作業装置は望見しないが二分割する」ということは成り立つということはない fact3: 「何らかの物は転げ回るしそれに引っ張り込む」ということは嘘であるなら二分割しない fact4: 仮に「何らかの物は望見しないがしかし二分割する」ということは嘘だとすればそれは生臭い fact5: 仮に「その作業装置は生臭くない」ということは成り立てば「そのカロリアは生臭い」ということは本当である fact6: 仮にこの五Ｖが望見しないけれど形容し難いとすればそのカロリアは形容し難くない fact7: 仮にそのカロリアは形容し難いということはないとすると「その作業装置は変容であるかあるいはそれは通り難いかあるいは両方だ」ということは成り立たない fact8: 通り難いものでまた形容し難い物は望見するということはない fact9: 「そのカロリアは形容し難くないし通り難くない」ということは事実だとしたらその単位記号は通り難い fact10: 「その作業装置は望見するしまたそれは二分割する」ということは成り立たない fact11: そのカロリアは変容だ fact12: その作業装置は形容し難くない fact13: 仮に「そのユーちゃんは頂かすしおまけに望見する」ということは嘘であるとしたら「この五Ｖは望見しない」ということは成り立つ fact14: もし何らかの物がとろいならそれは忖度する fact15: その作業装置が体循環ならそれは比較し難い fact16: あのリリース・ポイントは全通するし遠藤家だ fact17: もし仮にその作業装置が頂かすしかつそれは通り難いとすれば「二分割しない」ということは本当だ fact18: もしなんらかのものは二分割しないとすると「それは頂かすし望見する」ということは誤りである fact19: そのユーちゃんは勘弁しない fact20: そのカロリアは形容し難くてそれは頂かす fact21: もしもそのカロリアは変容だとすると「通り難い」ということは正しい fact22: もしもそのカロリアは望見しないとすると「「その作業装置は望見しないが頂かす」ということは確かだ」ということは正しくない fact23: もしもあの一般対策が素晴らしないとしたらこの五Ｖは読み易くて形容し難い
fact21 & fact11 -> int1: そのカロリアは通り難い; fact20 -> int2: そのカロリアは形容し難い; int1 & int2 -> int3: そのカロリアは通り難くて更に形容し難い; fact8 -> int4: もし仮にそのカロリアが通り難くてさらに形容し難いなら望見するということはない; int3 & int4 -> int5: そのカロリアは望見しない; int5 & fact2 -> int6: 「その作業装置は望見するということはないけれど二分割する」ということは偽である; fact4 -> int7: もし仮に「その作業装置は望見するということはない一方で二分割する」ということは成り立たないとしたらそれは生臭い; int6 & int7 -> hypothesis;
その作業装置は生臭くない
fact24 -> int8: もし仮にそのユーちゃんは二分割しないとすれば「頂かすし加えてそれは望見する」ということは誤っている; fact27 -> int9: 「そのユーちゃんは転げ回るししかも引っ張り込む」ということは間違いならそれは二分割しない; fact26 & fact29 -> int10: 「そのユーちゃんは転げ回るしそれに引っ張り込む」ということは成り立たない; int9 & int10 -> int11: そのユーちゃんは二分割しない; int8 & int11 -> int12: 「そのユーちゃんは頂かすし望見する」ということは成り立つということはない; fact31 & int12 -> int13: この五Ｖは望見しない;
$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$ = 
fact21 & fact11 -> int1: そのカロリアは通り難い; fact20 -> int2: そのカロリアは形容し難い; int1 & int2 -> int3: そのカロリアは通り難くて更に形容し難い; fact8 -> int4: もし仮にそのカロリアが通り難くてさらに形容し難いなら望見するということはない; int3 & int4 -> int5: そのカロリアは望見しない; int5 & fact2 -> int6: 「その作業装置は望見するということはないけれど二分割する」ということは偽である; fact4 -> int7: もし仮に「その作業装置は望見するということはない一方で二分割する」ということは成り立たないとしたらそれは生臭い; int6 & int7 -> 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. 事実21と事実11から、推論1: "そのカロリアは通り難い"が導かれる
2. 事実20から、推論2: "そのカロリアは形容し難い"が導かれる
3. 推論1と推論2から、推論3: "そのカロリアは通り難くて更に形容し難い"が導かれる
4. 事実8から、推論4: "もし仮にそのカロリアが通り難くてさらに形容し難いなら望見するということはない"が導かれる
5. 推論3と推論4から、推論5: "そのカロリアは望見しない"が導かれる
6. 推論5と事実2から、推論6: "「その作業装置は望見するということはないけれど二分割する」ということは偽である"が導かれる
7. 事実4から、推論7: "もし仮に「その作業装置は望見するということはない一方で二分割する」ということは成り立たないとしたらそれは生臭い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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