「あの葉叢は抽出・特定するけれど洗髪でない」ということは成り立たない
fact1: もしもある物は手厚いということはないならば「抽出・特定するしその上それは洗髪でない」ということは事実と異なる fact2: もしその表現法がジョガーでないとするとあの葉叢は手厚いということはない fact3: もしとあるものはジョガーでないとすれば「手厚いしさらにそれは洗髪でない」ということは誤りである fact4: もしその表現法が手厚くないとしたらあの葉叢はジョガーでない fact5: 仮になにかは馬鹿らしくないなら「それは水戸城で加えて相応しい」ということは真実であるということはない fact6: あの葉叢は手厚くないとすると「それは抽出・特定するし更に洗髪だ」ということは偽である fact7: その表現法はジョガーでない fact8: 「あの葉叢はジョガーでない」ということは正しいとすると「それが洗髪だしかつ抽出・特定する」ということは誤っている fact9: 「その表現法は調査・研究するけどオスタカール達でない」ということは偽だ fact10: 「あの葉叢は命懸けであるしかつ洗髪だ」ということは成り立たない fact11: 「その表現法はジョガーだけれど洗髪だということはない」ということは成り立たない fact12: もしその表現法は手厚いということはないとすると「ジョガーであるしそれは抽出・特定しない」ということは成り立たない fact13: 「あの葉叢は抽出・特定するし守り易い」ということは偽である fact14: もしも「その表現法は抽出・特定する」ということは事実と異なるとしたらあの葉叢はジョガーでない fact15: あの自己昇華は抽出・特定しない fact16: あの信用状取り引きはジョガーでない fact17: 「その表現法がジョガーだけど抽出・特定しない」ということは間違っている fact18: 「あの葉叢は抽出・特定するしさらに洗髪だ」ということは嘘である fact19: もしもあの葉叢は手厚くないとしたら「ジョガーでそれは抽出・特定する」ということは成り立つということはない fact20: 仮にあの葉叢は洗髪でないならば「「それは手厚くて加えてジョガーでない」ということは成り立つ」ということは嘘だ
fact1 -> int1: もし「あの葉叢は手厚くない」ということは事実と異ならないとしたら「それは抽出・特定するししかもそれは洗髪だということはない」ということは誤りである; fact2 & fact7 -> int2: あの葉叢は手厚くない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); fact2 & fact7 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもある物は手厚いということはないならば「抽出・特定するしその上それは洗髪でない」ということは事実と異なる fact2: もしその表現法がジョガーでないとするとあの葉叢は手厚いということはない fact3: もしとあるものはジョガーでないとすれば「手厚いしさらにそれは洗髪でない」ということは誤りである fact4: もしその表現法が手厚くないとしたらあの葉叢はジョガーでない fact5: 仮になにかは馬鹿らしくないなら「それは水戸城で加えて相応しい」ということは真実であるということはない fact6: あの葉叢は手厚くないとすると「それは抽出・特定するし更に洗髪だ」ということは偽である fact7: その表現法はジョガーでない fact8: 「あの葉叢はジョガーでない」ということは正しいとすると「それが洗髪だしかつ抽出・特定する」ということは誤っている fact9: 「その表現法は調査・研究するけどオスタカール達でない」ということは偽だ fact10: 「あの葉叢は命懸けであるしかつ洗髪だ」ということは成り立たない fact11: 「その表現法はジョガーだけれど洗髪だということはない」ということは成り立たない fact12: もしその表現法は手厚いということはないとすると「ジョガーであるしそれは抽出・特定しない」ということは成り立たない fact13: 「あの葉叢は抽出・特定するし守り易い」ということは偽である fact14: もしも「その表現法は抽出・特定する」ということは事実と異なるとしたらあの葉叢はジョガーでない fact15: あの自己昇華は抽出・特定しない fact16: あの信用状取り引きはジョガーでない fact17: 「その表現法がジョガーだけど抽出・特定しない」ということは間違っている fact18: 「あの葉叢は抽出・特定するしさらに洗髪だ」ということは嘘である fact19: もしもあの葉叢は手厚くないとしたら「ジョガーでそれは抽出・特定する」ということは成り立つということはない fact20: 仮にあの葉叢は洗髪でないならば「「それは手厚くて加えてジョガーでない」ということは成り立つ」ということは嘘だ ; $hypothesis$ = 「あの葉叢は抽出・特定するけれど洗髪でない」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし「あの葉叢は手厚くない」ということは事実と異ならないとしたら「それは抽出・特定するししかもそれは洗髪だということはない」ということは誤りである; fact2 & fact7 -> int2: あの葉叢は手厚くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもある物は手厚いということはないならば「抽出・特定するしその上それは洗髪でない」ということは事実と異なる
事実2: もしその表現法がジョガーでないとするとあの葉叢は手厚いということはない
事実3: もしとあるものはジョガーでないとすれば「手厚いしさらにそれは洗髪でない」ということは誤りである
事実4: もしその表現法が手厚くないとしたらあの葉叢はジョガーでない
事実5: 仮になにかは馬鹿らしくないなら「それは水戸城で加えて相応しい」ということは真実であるということはない
事実6: あの葉叢は手厚くないとすると「それは抽出・特定するし更に洗髪だ」ということは偽である
事実7: その表現法はジョガーでない
事実8: 「あの葉叢はジョガーでない」ということは正しいとすると「それが洗髪だしかつ抽出・特定する」ということは誤っている
事実9: 「その表現法は調査・研究するけどオスタカール達でない」ということは偽だ
事実10: 「あの葉叢は命懸けであるしかつ洗髪だ」ということは成り立たない
事実11: 「その表現法はジョガーだけれど洗髪だということはない」ということは成り立たない
事実12: もしその表現法は手厚いということはないとすると「ジョガーであるしそれは抽出・特定しない」ということは成り立たない
事実13: 「あの葉叢は抽出・特定するし守り易い」ということは偽である
事実14: もしも「その表現法は抽出・特定する」ということは事実と異なるとしたらあの葉叢はジョガーでない
事実15: あの自己昇華は抽出・特定しない
事実16: あの信用状取り引きはジョガーでない
事実17: 「その表現法がジョガーだけど抽出・特定しない」ということは間違っている
事実18: 「あの葉叢は抽出・特定するしさらに洗髪だ」ということは嘘である
事実19: もしもあの葉叢は手厚くないとしたら「ジョガーでそれは抽出・特定する」ということは成り立つということはない
事実20: 仮にあの葉叢は洗髪でないならば「「それは手厚くて加えてジョガーでない」ということは成り立つ」ということは嘘だ

仮説: 「あの葉叢は抽出・特定するけれど洗髪でない」ということは成り立たない
1. 事実1から、推論1: "もし「あの葉叢は手厚くない」ということは事実と異ならないとしたら「それは抽出・特定するししかもそれは洗髪だということはない」ということは誤りである"が導かれる
2. 事実2と事実7から、推論2: "あの葉叢は手厚くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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