この百三万円未満は市民投票条例である
fact1: もしこの新戦場が重苦しいということはないならばそれはごっついということはない fact2: もし仮にこの新戦場は市民投票条例であるということはないならばそれは胡散臭いということはない一方でごっつい fact3: このＡ色が逃げ出せないとしたらそれは生み難くないしおまけにそれは重苦しい fact4: あの激走は雷神だがしかし窶すということはない fact5: すべては重苦しくない fact6: 「この新戦場は千八百人である」ということは確かである fact7: 仮になにがしかのものが脱せないとするとそれはごっついということはないがＢＭＸだ fact8: もしも「この百三万円未満は市民投票条例でない」ということは成り立つとすると「重苦しいということはない」ということは確かである fact9: この新戦場は誇示でない fact10: この百三万円未満は奥床しい fact11: そのナスニンは市民投票条例だ fact12: 重苦しくない物はごっつかないけれど胡散臭い fact13: 仮に「この新戦場は市民投票条例でない」ということは真実であるとするとそれはごっつかない fact14: 仮にこの新戦場はごっつかないなら重苦しくないけれど市民投票条例だ fact15: 仮にこの新戦場はごっつかない一方で胡散臭いとしたらこの百三万円未満は市民投票条例である fact16: すべての物は止め為さらない fact17: もしも「このＦＩＳＨは市民投票条例でない一方で胡散臭い」ということは成り立たないとすればあの百三万円未満は市民投票条例でない fact18: もしなにかはごっついならばそれは重苦しい fact19: 仮に何らかの物は製パン職人であるということはないならば犯し易いものでしかもごっつい
fact5 -> int1: この新戦場は重苦しくない; fact12 -> int2: この新戦場が重苦しくないならばごっつかない一方で胡散臭い; int1 & int2 -> int3: この新戦場はごっついということはないがしかしそれは胡散臭い; int3 & fact15 -> hypothesis;
fact5 -> int1: ¬{A}{aa}; fact12 -> int2: ¬{A}{aa} -> (¬{C}{aa} & {B}{aa}); int1 & int2 -> int3: (¬{C}{aa} & {B}{aa}); int3 & fact15 -> hypothesis;
もし仮にその所有・支配が脱せないならばそれはごっつかない一方でＢＭＸである
fact20 -> hypothesis;
$facts$ = fact1: もしこの新戦場が重苦しいということはないならばそれはごっついということはない fact2: もし仮にこの新戦場は市民投票条例であるということはないならばそれは胡散臭いということはない一方でごっつい fact3: このＡ色が逃げ出せないとしたらそれは生み難くないしおまけにそれは重苦しい fact4: あの激走は雷神だがしかし窶すということはない fact5: すべては重苦しくない fact6: 「この新戦場は千八百人である」ということは確かである fact7: 仮になにがしかのものが脱せないとするとそれはごっついということはないがＢＭＸだ fact8: もしも「この百三万円未満は市民投票条例でない」ということは成り立つとすると「重苦しいということはない」ということは確かである fact9: この新戦場は誇示でない fact10: この百三万円未満は奥床しい fact11: そのナスニンは市民投票条例だ fact12: 重苦しくない物はごっつかないけれど胡散臭い fact13: 仮に「この新戦場は市民投票条例でない」ということは真実であるとするとそれはごっつかない fact14: 仮にこの新戦場はごっつかないなら重苦しくないけれど市民投票条例だ fact15: 仮にこの新戦場はごっつかない一方で胡散臭いとしたらこの百三万円未満は市民投票条例である fact16: すべての物は止め為さらない fact17: もしも「このＦＩＳＨは市民投票条例でない一方で胡散臭い」ということは成り立たないとすればあの百三万円未満は市民投票条例でない fact18: もしなにかはごっついならばそれは重苦しい fact19: 仮に何らかの物は製パン職人であるということはないならば犯し易いものでしかもごっつい ; $hypothesis$ = この百三万円未満は市民投票条例である ; $proof$ = 
fact5 -> int1: この新戦場は重苦しくない; fact12 -> int2: この新戦場が重苦しくないならばごっつかない一方で胡散臭い; int1 & int2 -> int3: この新戦場はごっついということはないがしかしそれは胡散臭い; int3 & fact15 -> hypothesis; __PROVED__
事実1: もしこの新戦場が重苦しいということはないならばそれはごっついということはない
事実2: もし仮にこの新戦場は市民投票条例であるということはないならばそれは胡散臭いということはない一方でごっつい
事実3: このＡ色が逃げ出せないとしたらそれは生み難くないしおまけにそれは重苦しい
事実4: あの激走は雷神だがしかし窶すということはない
事実5: すべては重苦しくない
事実6: 「この新戦場は千八百人である」ということは確かである
事実7: 仮になにがしかのものが脱せないとするとそれはごっついということはないがＢＭＸだ
事実8: もしも「この百三万円未満は市民投票条例でない」ということは成り立つとすると「重苦しいということはない」ということは確かである
事実9: この新戦場は誇示でない
事実10: この百三万円未満は奥床しい
事実11: そのナスニンは市民投票条例だ
事実12: 重苦しくない物はごっつかないけれど胡散臭い
事実13: 仮に「この新戦場は市民投票条例でない」ということは真実であるとするとそれはごっつかない
事実14: 仮にこの新戦場はごっつかないなら重苦しくないけれど市民投票条例だ
事実15: 仮にこの新戦場はごっつかない一方で胡散臭いとしたらこの百三万円未満は市民投票条例である
事実16: すべての物は止め為さらない
事実17: もしも「このＦＩＳＨは市民投票条例でない一方で胡散臭い」ということは成り立たないとすればあの百三万円未満は市民投票条例でない
事実18: もしなにかはごっついならばそれは重苦しい
事実19: 仮に何らかの物は製パン職人であるということはないならば犯し易いものでしかもごっつい

仮説: この百三万円未満は市民投票条例である
1. 事実5から、推論1: "この新戦場は重苦しくない"が導かれる
2. 事実12から、推論2: "この新戦場が重苦しくないならばごっつかない一方で胡散臭い"が導かれる
3. 推論1と推論2から、推論3: "この新戦場はごっついということはないがしかしそれは胡散臭い"が導かれる
4. 推論3と事実15から、仮説が導かれる

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