この市民オンブズマンは御巫本日本書紀私記でないけれどそれは作らす
fact1: そのバース党政権は開き始めない一方で国税庁役人だ fact2: もし仮にとある物は開き始めるとすれば「回遊しないしさらに油っぽい」ということは誤りである fact3: もしも「この市民オンブズマンは作らすかもしくは事業化する」ということは間違っているとすれば気恥ずかしくない fact4: 「「回遊するということはないけど油っぽい」ということは誤りである」物があるとしたらそのバース党政権は油っぽいということはない fact5: 「そのバース党政権は合格するかもしくは事業化するかまたは両方ともだ」ということは事実と異なるとすると「それは気恥ずかしくない」ということは確かである fact6: もしこの大掴みは表わせるないならば「それは窒素分でない一方で差し出がましい」ということは偽である fact7: もしそのバース党政権が合格しないがしかし御巫本日本書紀私記であるならばこの市民オンブズマンは御巫本日本書紀私記である fact8: 「仮にその勧農が作らさない一方で気恥ずかしいならそのバース党政権は気恥ずかしい」ということは成り立つ fact9: もし仮に「この市民オンブズマンは作らすかあるいはそれは油っぽいか両方ともだ」ということは成り立たないなら御巫本日本書紀私記でない fact10: その勧農はＰＨＰ文庫でない一方で事業化する fact11: その勧農が油っぽいししかも作らせばこの市民オンブズマンは作らす fact12: その勧農は油っぽくない fact13: 「何かはジャングルであるし広い」ということは成り立たないならばそれは表わせるない fact14: 仮にその勧農が油っぽくないけど作らすとするとこの市民オンブズマンは作らす fact15: そのバース党政権は合格しない fact16: もしなにがしかの物は年齢構成でないとしたら「ジャングルであるしまた広い」ということは事実と異なる fact17: 「そのバース党政権は合格するかまたは事業化するかどちらもである」ということは成り立つということはない fact18: この大掴みは年齢構成でない fact19: もし仮に「この大掴みは窒素分でないけど差し出がましい」ということは誤りならその勧農は開き始める fact20: もしなんらかのものは気恥ずかしくないとしたら「御巫本日本書紀私記でないが作らす」ということは成り立たない fact21: もしもそのバース党政権が気恥ずかしくないとしたらこの市民オンブズマンは御巫本日本書紀私記でない fact22: その勧農は油っぽくないがしかしそれは作らす
fact5 & fact17 -> int1: そのバース党政権は気恥ずかしくない; int1 & fact21 -> int2: この市民オンブズマンは御巫本日本書紀私記でない; fact22 & fact14 -> int3: この市民オンブズマンは作らす; int2 & int3 -> hypothesis;
「この市民オンブズマンは御巫本日本書紀私記でないがそれは作らす」ということは間違いである
fact24 -> int4: もし仮にこの市民オンブズマンは気恥ずかしいということはないなら「それは御巫本日本書紀私記でない一方で作らす」ということは本当だということはない; fact28 -> int5: もしもその勧農は開き始めるとすると「それは回遊しないし更に油っぽい」ということは嘘である; fact26 -> int6: 仮に「この大掴みはジャングルであるし広い」ということは成り立たないとするとそれは表わせるない; fact30 -> int7: 仮にこの大掴みは年齢構成でないならば「それはジャングルであるし更に広い」ということは誤っている; int7 & fact29 -> int8: 「この大掴みはジャングルであるし広い」ということは偽である; int6 & int8 -> int9: この大掴みは表わせるということはない; fact23 & int9 -> int10: 「この大掴みは窒素分でないが差し出がましい」ということは成り立たない; fact25 & int10 -> int11: その勧農は開き始める; int5 & int11 -> int12: 「その勧農は回遊しない一方でそれは油っぽい」ということは誤りだ; int12 -> int13: 「「回遊しなくて油っぽい」ということは成り立たない」物はある; int13 & fact27 -> int14: 「そのバース党政権は油っぽくない」ということは真実である; int14 -> int15: 「「油っぽくない」ということは事実な」ものはある;
$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$ = 
fact5 & fact17 -> int1: そのバース党政権は気恥ずかしくない; int1 & fact21 -> int2: この市民オンブズマンは御巫本日本書紀私記でない; fact22 & fact14 -> int3: この市民オンブズマンは作らす; int2 & int3 -> 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. 事実5と事実17から、推論1: "そのバース党政権は気恥ずかしくない"が導かれる
2. 推論1と事実21から、推論2: "この市民オンブズマンは御巫本日本書紀私記でない"が導かれる
3. 事実22と事実14から、推論3: "この市民オンブズマンは作らす"が導かれる
4. 推論2と推論3から、仮説が導かれる

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