あの悪阻は心優しくない
fact1: 心優しい物はある fact2: あの三角矢印は掴み易い fact3: 「もし仮にあの三角矢印が灯すとしたらあの三角矢印は統合化する一方で可愛らしくない」ということは真実だ fact4: 「あの悪阻は隔絶しないが彷徨く」ということは間違いである fact5: 「その無限定適正意見は隔絶するけれど漢方医学でない」ということは成り立たない fact6: もしも「冷え過ぎない」物はあるとすると「あの悪阻は彷徨くし加えて統合化する」ということは誤っている fact7: その無限定適正意見が冷え過ぎればあの悪阻は冷え過ぎる fact8: もし仮になにがしかのものが冷え過ぎるとするとそれは心優しい fact9: もしとあるものは統合化しないなら「その無限定適正意見は隔絶するし漢方医学だ」ということは嘘である fact10: もしもあの悪阻が統合化しないならばそれは心優しくない fact11: もしその分析法が掴み易くなくて冷え過ぎるということはないならばあの三角矢印は漢方医学でない fact12: その分析法はマーキングしない fact13: あの三角矢印は運悪くない fact14: 「あの腎麻疹は隔絶しなくて採決するということはない」ということは間違いである fact15: なにがしかの物は隔絶しない fact16: もしある物が統合化するがしかしそれが可愛らしくないとすれば彷徨かない fact17: 仮にその無限定適正意見が隔絶しないしさらに漢方医学でないとしたらその分析法は冷え過ぎない fact18: 「あの悪阻は彷徨くしそれは統合化する」ということは成り立たないとしたら心優しくない fact19: 「あの悪阻は漢方医学であるしおまけに心優しい」ということは間違いだ fact20: もし仮に「その無限定適正意見は隔絶しなくてかつ漢方医学でない」ということは正しくないとするとあの三角矢印は掴み易くない fact21: 「あの三角矢印は心優しくなくてまた掴み易くない」ということは成り立つということはない fact22: その分析法がマーキングしないならばあの三角矢印は灯すしそれは細かさだ
void -> assump1: 以下のように仮定する。「その無限定適正意見は隔絶するということはないしさらに漢方医学でない」ということは成り立たない; fact20 & assump1 -> int1: あの三角矢印は掴み易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その無限定適正意見は隔絶しないしかつ漢方医学でない; int3 & fact17 -> int4: その分析法は冷え過ぎない; int4 -> int5: 「冷え過ぎない」物はある; int5 & fact6 -> int6: 「あの悪阻は彷徨くし統合化する」ということは成り立たない; int6 & fact18 -> hypothesis;
あの悪阻は心優しい
fact23 -> int7: 仮にあの悪阻が冷え過ぎるとするとそれは心優しい; fact28 -> int8: もしもあの三角矢印が統合化するが可愛らしくないとしたらそれは彷徨かない; fact26 & fact27 -> int9: あの三角矢印は灯すしおまけに細かさである; int9 -> int10: 「あの三角矢印は灯す」ということは成り立つ; fact25 & int10 -> int11: あの三角矢印は統合化するけれど可愛らしくない; int8 & int11 -> int12: 「あの三角矢印は彷徨くということはない」ということは間違いでない; 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: その分析法がマーキングしないならばあの三角矢印は灯すしそれは細かさだ ; $hypothesis$ = あの悪阻は心優しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その無限定適正意見は隔絶するということはないしさらに漢方医学でない」ということは成り立たない; fact20 & assump1 -> int1: あの三角矢印は掴み易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その無限定適正意見は隔絶しないしかつ漢方医学でない; int3 & fact17 -> int4: その分析法は冷え過ぎない; int4 -> int5: 「冷え過ぎない」物はある; int5 & fact6 -> int6: 「あの悪阻は彷徨くし統合化する」ということは成り立たない; int6 & fact18 -> hypothesis; __PROVED__
事実1: 心優しい物はある
事実2: あの三角矢印は掴み易い
事実3: 「もし仮にあの三角矢印が灯すとしたらあの三角矢印は統合化する一方で可愛らしくない」ということは真実だ
事実4: 「あの悪阻は隔絶しないが彷徨く」ということは間違いである
事実5: 「その無限定適正意見は隔絶するけれど漢方医学でない」ということは成り立たない
事実6: もしも「冷え過ぎない」物はあるとすると「あの悪阻は彷徨くし加えて統合化する」ということは誤っている
事実7: その無限定適正意見が冷え過ぎればあの悪阻は冷え過ぎる
事実8: もし仮になにがしかのものが冷え過ぎるとするとそれは心優しい
事実9: もしとあるものは統合化しないなら「その無限定適正意見は隔絶するし漢方医学だ」ということは嘘である
事実10: もしもあの悪阻が統合化しないならばそれは心優しくない
事実11: もしその分析法が掴み易くなくて冷え過ぎるということはないならばあの三角矢印は漢方医学でない
事実12: その分析法はマーキングしない
事実13: あの三角矢印は運悪くない
事実14: 「あの腎麻疹は隔絶しなくて採決するということはない」ということは間違いである
事実15: なにがしかの物は隔絶しない
事実16: もしある物が統合化するがしかしそれが可愛らしくないとすれば彷徨かない
事実17: 仮にその無限定適正意見が隔絶しないしさらに漢方医学でないとしたらその分析法は冷え過ぎない
事実18: 「あの悪阻は彷徨くしそれは統合化する」ということは成り立たないとしたら心優しくない
事実19: 「あの悪阻は漢方医学であるしおまけに心優しい」ということは間違いだ
事実20: もし仮に「その無限定適正意見は隔絶しなくてかつ漢方医学でない」ということは正しくないとするとあの三角矢印は掴み易くない
事実21: 「あの三角矢印は心優しくなくてまた掴み易くない」ということは成り立つということはない
事実22: その分析法がマーキングしないならばあの三角矢印は灯すしそれは細かさだ

仮説: あの悪阻は心優しくない
1. 仮定1: 以下のように仮定する。「その無限定適正意見は隔絶するということはないしさらに漢方医学でない」ということは成り立たない
2. 事実20と仮定1から、推論1: "あの三角矢印は掴み易くない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その無限定適正意見は隔絶しないしかつ漢方医学でない"が導かれる
5. 推論3と事実17から、推論4: "その分析法は冷え過ぎない"が導かれる
6. 推論4から、推論5: "「冷え過ぎない」物はある"が導かれる
7. 推論5と事実6から、推論6: "「あの悪阻は彷徨くし統合化する」ということは成り立たない"が導かれる
8. 推論6と事実18から、仮説が導かれる

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