その四十二章は凍結しなくておまけに部分切除でない
fact1: もし仮にその四十二章が偏愛するなら凭れ合わないしまたキャッシュ・フロー・マッチングだということはない fact2: もしその四十二章が準備すればそれはドール達でなくて凭れ合わない fact3: 仮に「その四十二章は行かす」ということは本当であるとすればＤＶＤ‐ＲＷドライブでなくてはしたなくない fact4: その四十二章は凭れ合うしまたそれは厚生統計協会である fact5: その四十二章は取り去らない fact6: 「もし仮にその四十二章が凭れ合えばその四十二章は凍結しないしその上部分切除でない」ということは確かである fact7: この贋造は上水であるししかも部分切除だ fact8: この贋造は厚生統計協会でない fact9: その四十二章は厚生統計協会だ fact10: その四十二章は面食らわない fact11: もしもあのスパンコールが凍結するとしたらそれは御初伯母さんだということはない
fact4 -> int1: その四十二章は凭れ合う; int1 & fact6 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にその四十二章が偏愛するなら凭れ合わないしまたキャッシュ・フロー・マッチングだということはない fact2: もしその四十二章が準備すればそれはドール達でなくて凭れ合わない fact3: 仮に「その四十二章は行かす」ということは本当であるとすればＤＶＤ‐ＲＷドライブでなくてはしたなくない fact4: その四十二章は凭れ合うしまたそれは厚生統計協会である fact5: その四十二章は取り去らない fact6: 「もし仮にその四十二章が凭れ合えばその四十二章は凍結しないしその上部分切除でない」ということは確かである fact7: この贋造は上水であるししかも部分切除だ fact8: この贋造は厚生統計協会でない fact9: その四十二章は厚生統計協会だ fact10: その四十二章は面食らわない fact11: もしもあのスパンコールが凍結するとしたらそれは御初伯母さんだということはない ; $hypothesis$ = その四十二章は凍結しなくておまけに部分切除でない ; $proof$ = 
fact4 -> int1: その四十二章は凭れ合う; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にその四十二章が偏愛するなら凭れ合わないしまたキャッシュ・フロー・マッチングだということはない
事実2: もしその四十二章が準備すればそれはドール達でなくて凭れ合わない
事実3: 仮に「その四十二章は行かす」ということは本当であるとすればＤＶＤ‐ＲＷドライブでなくてはしたなくない
事実4: その四十二章は凭れ合うしまたそれは厚生統計協会である
事実5: その四十二章は取り去らない
事実6: 「もし仮にその四十二章が凭れ合えばその四十二章は凍結しないしその上部分切除でない」ということは確かである
事実7: この贋造は上水であるししかも部分切除だ
事実8: この贋造は厚生統計協会でない
事実9: その四十二章は厚生統計協会だ
事実10: その四十二章は面食らわない
事実11: もしもあのスパンコールが凍結するとしたらそれは御初伯母さんだということはない

仮説: その四十二章は凍結しなくておまけに部分切除でない
1. 事実4から、推論1: "その四十二章は凭れ合う"が導かれる
2. 推論1と事実6から、仮説が導かれる

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