「「「書き難くてそれに御端折る」ということは正しい」ということは事実と異なる」ものはある
fact1: もしもその六校は里芋でないなら「この均等割り額は馴染み易いけれど苦し過ぎない」ということは正しい fact2: 仮にこの虚仮は御端折らないとすると「この均等割り額は里芋であるしそれは溶く」ということは成り立たない fact3: この均等割り額は苦し過ぎない fact4: 「もし「その六校は里芋でない」ということは正しいならばあの均等割り額は苦し過ぎない」ということは成り立つ fact5: もしあの国際状況が侮らないとしたらその研究能力は侮らない fact6: 「里芋でない」物はあるとしたら「その六校は意識するし同日付けだ」ということは成り立たない fact7: 「「あの出版年月日は取られ兼ねるけれど侮らない」ということは間違いだ」ということは成り立つとすればあの国際状況は侮らない fact8: とある物は書き難いしまた御端折る fact9: もしその四月以降は生易しくないなら「この虚仮は書き難いがしかし思い煩うということはない」ということは嘘である fact10: 「「苦し過ぎる」ということは誤りでない」物はある fact11: 仮にとあるものは溶けば「この虚仮は書き難くてそれに御端折る」ということは嘘だ fact12: その六校は里芋でない fact13: もし「何らかのものは書き難い一方で思い煩うということはない」ということは誤りであるとしたらそれは御端折らない fact14: もし仮にその健保組合が開運行動であるということはない一方で付着するとすればその倫理的規範は開運行動でない fact15: もしなにかは侮らないならばそれは気配りしない fact16: もし仮に何かは書き難いなら「この虚仮は御端折るし馴染み易い」ということは成り立つということはない fact17: もし仮に何らかの物が気配りしないなら生易しくない fact18: もしもその研究能力が生易しくないとしたらその四月以降は生易しくない fact19: 仮にその倫理的規範は開運行動でないとすると「あの出版年月日は取られ兼ねるがしかし侮らない」ということは成り立たない fact20: この均等割り額が馴染み易いとするとそれは溶く
fact1 & fact12 -> int1: この均等割り額は馴染み易いけれどそれは苦し過ぎない; int1 -> int2: この均等割り額は馴染み易い; int2 & fact20 -> int3: 「この均等割り額は溶く」ということは事実だ; int3 -> int4: 「「溶く」ということは事実な」ものはある; int4 & fact11 -> int5: 「この虚仮は書き難くて更に御端折る」ということは成り立たない; int5 -> hypothesis;
「「意識するし同日付けである」ということは誤っている」物はある
fact27 -> int6: もしも「この虚仮は書き難いけどそれは思い煩わない」ということは誤りだとすれば御端折らない; fact29 -> int7: もしその研究能力が気配りしないならばそれは生易しいということはない; fact25 -> int8: 仮にその研究能力が侮らないならばそれは気配りしない;
$facts$ = fact1: もしもその六校は里芋でないなら「この均等割り額は馴染み易いけれど苦し過ぎない」ということは正しい fact2: 仮にこの虚仮は御端折らないとすると「この均等割り額は里芋であるしそれは溶く」ということは成り立たない fact3: この均等割り額は苦し過ぎない fact4: 「もし「その六校は里芋でない」ということは正しいならばあの均等割り額は苦し過ぎない」ということは成り立つ fact5: もしあの国際状況が侮らないとしたらその研究能力は侮らない fact6: 「里芋でない」物はあるとしたら「その六校は意識するし同日付けだ」ということは成り立たない fact7: 「「あの出版年月日は取られ兼ねるけれど侮らない」ということは間違いだ」ということは成り立つとすればあの国際状況は侮らない fact8: とある物は書き難いしまた御端折る fact9: もしその四月以降は生易しくないなら「この虚仮は書き難いがしかし思い煩うということはない」ということは嘘である fact10: 「「苦し過ぎる」ということは誤りでない」物はある fact11: 仮にとあるものは溶けば「この虚仮は書き難くてそれに御端折る」ということは嘘だ fact12: その六校は里芋でない fact13: もし「何らかのものは書き難い一方で思い煩うということはない」ということは誤りであるとしたらそれは御端折らない fact14: もし仮にその健保組合が開運行動であるということはない一方で付着するとすればその倫理的規範は開運行動でない fact15: もしなにかは侮らないならばそれは気配りしない fact16: もし仮に何かは書き難いなら「この虚仮は御端折るし馴染み易い」ということは成り立つということはない fact17: もし仮に何らかの物が気配りしないなら生易しくない fact18: もしもその研究能力が生易しくないとしたらその四月以降は生易しくない fact19: 仮にその倫理的規範は開運行動でないとすると「あの出版年月日は取られ兼ねるがしかし侮らない」ということは成り立たない fact20: この均等割り額が馴染み易いとするとそれは溶く ; $hypothesis$ = 「「「書き難くてそれに御端折る」ということは正しい」ということは事実と異なる」ものはある ; $proof$ = 
fact1 & fact12 -> int1: この均等割り額は馴染み易いけれどそれは苦し過ぎない; int1 -> int2: この均等割り額は馴染み易い; int2 & fact20 -> int3: 「この均等割り額は溶く」ということは事実だ; int3 -> int4: 「「溶く」ということは事実な」ものはある; int4 & fact11 -> int5: 「この虚仮は書き難くて更に御端折る」ということは成り立たない; int5 -> hypothesis; __PROVED__
事実1: もしもその六校は里芋でないなら「この均等割り額は馴染み易いけれど苦し過ぎない」ということは正しい
事実2: 仮にこの虚仮は御端折らないとすると「この均等割り額は里芋であるしそれは溶く」ということは成り立たない
事実3: この均等割り額は苦し過ぎない
事実4: 「もし「その六校は里芋でない」ということは正しいならばあの均等割り額は苦し過ぎない」ということは成り立つ
事実5: もしあの国際状況が侮らないとしたらその研究能力は侮らない
事実6: 「里芋でない」物はあるとしたら「その六校は意識するし同日付けだ」ということは成り立たない
事実7: 「「あの出版年月日は取られ兼ねるけれど侮らない」ということは間違いだ」ということは成り立つとすればあの国際状況は侮らない
事実8: とある物は書き難いしまた御端折る
事実9: もしその四月以降は生易しくないなら「この虚仮は書き難いがしかし思い煩うということはない」ということは嘘である
事実10: 「「苦し過ぎる」ということは誤りでない」物はある
事実11: 仮にとあるものは溶けば「この虚仮は書き難くてそれに御端折る」ということは嘘だ
事実12: その六校は里芋でない
事実13: もし「何らかのものは書き難い一方で思い煩うということはない」ということは誤りであるとしたらそれは御端折らない
事実14: もし仮にその健保組合が開運行動であるということはない一方で付着するとすればその倫理的規範は開運行動でない
事実15: もしなにかは侮らないならばそれは気配りしない
事実16: もし仮に何かは書き難いなら「この虚仮は御端折るし馴染み易い」ということは成り立つということはない
事実17: もし仮に何らかの物が気配りしないなら生易しくない
事実18: もしもその研究能力が生易しくないとしたらその四月以降は生易しくない
事実19: 仮にその倫理的規範は開運行動でないとすると「あの出版年月日は取られ兼ねるがしかし侮らない」ということは成り立たない
事実20: この均等割り額が馴染み易いとするとそれは溶く

仮説: 「「「書き難くてそれに御端折る」ということは正しい」ということは事実と異なる」ものはある
1. 事実1と事実12から、推論1: "この均等割り額は馴染み易いけれどそれは苦し過ぎない"が導かれる
2. 推論1から、推論2: "この均等割り額は馴染み易い"が導かれる
3. 推論2と事実20から、推論3: "「この均等割り額は溶く」ということは事実だ"が導かれる
4. 推論3から、推論4: "「「溶く」ということは事実な」ものはある"が導かれる
5. 推論4と事実11から、推論5: "「この虚仮は書き難くて更に御端折る」ということは成り立たない"が導かれる
6. 推論5から、仮説が導かれる

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