もし仮にあの持分法は指導出来るとしたら「その青紫蘇は吸入でないしおまけに築き難くない」ということは事実でない
fact1: 「その青紫蘇は築き難くないしその上当代記でない」ということは成り立つということはない fact2: あの持分法は築き難いということはないとしたら「その青紫蘇は指導出来るということはないけれどそれは吸入である」ということは成り立つということはない fact3: その青紫蘇は吸入でないししかもそれは築き難くない fact4: もし仮にその青紫蘇は吸入であるとすると「あの持分法は当代記であるがしかし指導出来ない」ということは間違っている fact5: 「あの持分法は重々しいということはないしそれは築き難くない」ということは間違っている fact6: もしもあの持分法は指導出来れば「その青紫蘇は吸入でないけれど築き難い」ということは嘘だ fact7: その青紫蘇は指導出来ない fact8: もしその社会的責任が築き難いならばその青紫蘇は当代記でないしそれは吸入でない fact9: その社会的責任が当代記でないならばその青紫蘇は吸入でないしさらに築き難くない fact10: あの持分法が指導出来るとしたらその社会的責任は当代記でない fact11: もし仮にその社会的責任は当代記でないとしたら「その青紫蘇は吸入でなくておまけに築き難くない」ということは成り立たない fact12: 仮にその青紫蘇は当代記であるなら「その社会的責任は吸入でないしさらに築き難くない」ということは誤っている fact13: もしも「あの持分法は築き難い」ということは確かならその青紫蘇は吸入でなくてかつ指導出来るということはない
void -> assump1: 以下のように仮定する。あの持分法は指導出来る; fact10 & assump1 -> int1: その社会的責任は当代記でない; int1 & fact11 -> int2: 「その青紫蘇は吸入でないしかつそれは築き難くない」ということは間違いだ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「その青紫蘇は築き難くないしその上当代記でない」ということは成り立つということはない fact2: あの持分法は築き難いということはないとしたら「その青紫蘇は指導出来るということはないけれどそれは吸入である」ということは成り立つということはない fact3: その青紫蘇は吸入でないししかもそれは築き難くない fact4: もし仮にその青紫蘇は吸入であるとすると「あの持分法は当代記であるがしかし指導出来ない」ということは間違っている fact5: 「あの持分法は重々しいということはないしそれは築き難くない」ということは間違っている fact6: もしもあの持分法は指導出来れば「その青紫蘇は吸入でないけれど築き難い」ということは嘘だ fact7: その青紫蘇は指導出来ない fact8: もしその社会的責任が築き難いならばその青紫蘇は当代記でないしそれは吸入でない fact9: その社会的責任が当代記でないならばその青紫蘇は吸入でないしさらに築き難くない fact10: あの持分法が指導出来るとしたらその社会的責任は当代記でない fact11: もし仮にその社会的責任は当代記でないとしたら「その青紫蘇は吸入でなくておまけに築き難くない」ということは成り立たない fact12: 仮にその青紫蘇は当代記であるなら「その社会的責任は吸入でないしさらに築き難くない」ということは誤っている fact13: もしも「あの持分法は築き難い」ということは確かならその青紫蘇は吸入でなくてかつ指導出来るということはない ; $hypothesis$ = もし仮にあの持分法は指導出来るとしたら「その青紫蘇は吸入でないしおまけに築き難くない」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの持分法は指導出来る; fact10 & assump1 -> int1: その社会的責任は当代記でない; int1 & fact11 -> int2: 「その青紫蘇は吸入でないしかつそれは築き難くない」ということは間違いだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「その青紫蘇は築き難くないしその上当代記でない」ということは成り立つということはない
事実2: あの持分法は築き難いということはないとしたら「その青紫蘇は指導出来るということはないけれどそれは吸入である」ということは成り立つということはない
事実3: その青紫蘇は吸入でないししかもそれは築き難くない
事実4: もし仮にその青紫蘇は吸入であるとすると「あの持分法は当代記であるがしかし指導出来ない」ということは間違っている
事実5: 「あの持分法は重々しいということはないしそれは築き難くない」ということは間違っている
事実6: もしもあの持分法は指導出来れば「その青紫蘇は吸入でないけれど築き難い」ということは嘘だ
事実7: その青紫蘇は指導出来ない
事実8: もしその社会的責任が築き難いならばその青紫蘇は当代記でないしそれは吸入でない
事実9: その社会的責任が当代記でないならばその青紫蘇は吸入でないしさらに築き難くない
事実10: あの持分法が指導出来るとしたらその社会的責任は当代記でない
事実11: もし仮にその社会的責任は当代記でないとしたら「その青紫蘇は吸入でなくておまけに築き難くない」ということは成り立たない
事実12: 仮にその青紫蘇は当代記であるなら「その社会的責任は吸入でないしさらに築き難くない」ということは誤っている
事実13: もしも「あの持分法は築き難い」ということは確かならその青紫蘇は吸入でなくてかつ指導出来るということはない

仮説: もし仮にあの持分法は指導出来るとしたら「その青紫蘇は吸入でないしおまけに築き難くない」ということは事実でない
1. 仮定1: 以下のように仮定する。あの持分法は指導出来る
2. 事実10と仮定1から、推論1: "その社会的責任は当代記でない"が導かれる
3. 推論1と事実11から、推論2: "「その青紫蘇は吸入でないしかつそれは築き難くない」ということは間違いだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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