「「全体的人間で痒い」ということは嘘である」ものはある
fact1: その土地使用は痒くて更に窪む fact2: もし仮に何かは愛唱しないとすれば「それは全体的人間であるしかつそれは痒い」ということは間違っている fact3: もしも何らかのものは全体的人間であるということはないとすると「それは愛唱するしかつそれは解し難い」ということは事実と異なる fact4: 痒い全体的人間はある fact5: 仮にその豪華本が解し難くて領国支配だとしたら「それは愛唱しない」ということは確かである fact6: もしもその神竿が切り難いならその豪華本は切り難い fact7: もし「その豪華本は領国支配でないかもしくは愛唱しないかもしくは両方である」ということは成り立たないならばあの頭蓋骨は解し難くない fact8: 「あの厚意は解し難いし加えて飛行機らしい」ということは嘘である fact9: 「なにがしかのものは領国支配であるしそれは愛唱する」ということは真実だ fact10: その豪華本は領国支配である fact11: 仮に「その豪華本は甘やかさない」ということは本当であるとしたら「それは眠いしまたフェラする」ということは誤っている fact12: 仮にとあるものは不足し易くないなら「潔ししそれに子供らしい」ということは間違いである fact13: 賢くない物は人間離れするか切り難い fact14: 「その豪華本は平たくない」ということは成り立つ fact15: その豪華本は解し難い fact16: もしも切り難いものが育て易いならそれは忌まわしくない fact17: 仮になにがしかの物が忌まわしいということはないならば痒いしその上全体的人間だ fact18: もし「あの一子はグラニューでない一方で育て易い」ということは誤りならばその豪華本は育て易い fact19: この起算点は全体的人間だということはないとしたら「与し易くて更に言える」ということは成り立たない fact20: もしもその神竿は人間離れするとすると「その豪華本は切り難い」ということは真実だ fact21: 仮にその神竿は来難くないしデニッシュでないとしたら賢くない fact22: その豪華本は領国支配でその上染影するとすれば如才無くない fact23: その神竿は来難くないしそれはデニッシュでない fact24: 「その地獄図絵は関知するしアニュアルだ」ということは本当でない
fact15 & fact10 -> int1: その豪華本は解し難いしその上領国支配である; int1 & fact5 -> int2: その豪華本は愛唱しない; fact2 -> int3: 仮にその豪華本は愛唱しないとすると「それは全体的人間であるし加えて痒い」ということは成り立たない; int2 & int3 -> int4: 「その豪華本は全体的人間であるしその上それは痒い」ということは偽である; int4 -> hypothesis;
この頭蓋骨は解し難くない
fact33 -> int5: その豪華本が忌まわしくないとすると痒くておまけに全体的人間である; fact28 -> int6: もしその豪華本が切り難くてかつ育て易いならば忌まわしいということはない; fact31 -> int7: 仮にその神竿が賢くないとしたらそれは人間離れするかまたは切り難いかあるいは両方だ; fact25 & fact27 -> int8: その神竿は賢くない; int7 & int8 -> int9: その神竿は人間離れするかあるいは切り難い; int9 & fact32 & fact26 -> int10: 「その豪華本は切り難い」ということは正しい;
$facts$ = fact1: その土地使用は痒くて更に窪む fact2: もし仮に何かは愛唱しないとすれば「それは全体的人間であるしかつそれは痒い」ということは間違っている fact3: もしも何らかのものは全体的人間であるということはないとすると「それは愛唱するしかつそれは解し難い」ということは事実と異なる fact4: 痒い全体的人間はある fact5: 仮にその豪華本が解し難くて領国支配だとしたら「それは愛唱しない」ということは確かである fact6: もしもその神竿が切り難いならその豪華本は切り難い fact7: もし「その豪華本は領国支配でないかもしくは愛唱しないかもしくは両方である」ということは成り立たないならばあの頭蓋骨は解し難くない fact8: 「あの厚意は解し難いし加えて飛行機らしい」ということは嘘である fact9: 「なにがしかのものは領国支配であるしそれは愛唱する」ということは真実だ fact10: その豪華本は領国支配である fact11: 仮に「その豪華本は甘やかさない」ということは本当であるとしたら「それは眠いしまたフェラする」ということは誤っている fact12: 仮にとあるものは不足し易くないなら「潔ししそれに子供らしい」ということは間違いである fact13: 賢くない物は人間離れするか切り難い fact14: 「その豪華本は平たくない」ということは成り立つ fact15: その豪華本は解し難い fact16: もしも切り難いものが育て易いならそれは忌まわしくない fact17: 仮になにがしかの物が忌まわしいということはないならば痒いしその上全体的人間だ fact18: もし「あの一子はグラニューでない一方で育て易い」ということは誤りならばその豪華本は育て易い fact19: この起算点は全体的人間だということはないとしたら「与し易くて更に言える」ということは成り立たない fact20: もしもその神竿は人間離れするとすると「その豪華本は切り難い」ということは真実だ fact21: 仮にその神竿は来難くないしデニッシュでないとしたら賢くない fact22: その豪華本は領国支配でその上染影するとすれば如才無くない fact23: その神竿は来難くないしそれはデニッシュでない fact24: 「その地獄図絵は関知するしアニュアルだ」ということは本当でない ; $hypothesis$ = 「「全体的人間で痒い」ということは嘘である」ものはある ; $proof$ = 
fact15 & fact10 -> int1: その豪華本は解し難いしその上領国支配である; int1 & fact5 -> int2: その豪華本は愛唱しない; fact2 -> int3: 仮にその豪華本は愛唱しないとすると「それは全体的人間であるし加えて痒い」ということは成り立たない; int2 & int3 -> int4: 「その豪華本は全体的人間であるしその上それは痒い」ということは偽である; int4 -> 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: その神竿は来難くないしそれはデニッシュでない
事実24: 「その地獄図絵は関知するしアニュアルだ」ということは本当でない

仮説: 「「全体的人間で痒い」ということは嘘である」ものはある
1. 事実15と事実10から、推論1: "その豪華本は解し難いしその上領国支配である"が導かれる
2. 推論1と事実5から、推論2: "その豪華本は愛唱しない"が導かれる
3. 事実2から、推論3: "仮にその豪華本は愛唱しないとすると「それは全体的人間であるし加えて痒い」ということは成り立たない"が導かれる
4. 推論2と推論3から、推論4: "「その豪華本は全体的人間であるしその上それは痒い」ということは偽である"が導かれる
5. 推論4から、仮説が導かれる

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