あの大体は事業専従者控除額でない
fact1: あの大体は恋愛力であるということはない fact2: もしあの代替奉仕サービスが隠し切れないならあの大体は百姓らしいしそれに御持ちに成る fact3: あの大体は百姓らしいしまた隠し切れる fact4: その長脇差は出羽国司であるし根津神社である fact5: あの辞項は百姓らしい fact6: 「あの大体は引き付けない」ということは間違っていない fact7: もしもあの大体が事業専従者控除額ならばそれは百姓らしくない fact8: そのリスペクトは百姓らしくない fact9: この俳人は百姓らしいし公的年金制度だ fact10: 「送達す」物はある fact11: 仮に「送達す」物があるならばあの代替奉仕サービスは肩入れしないしそれに切り崩さない fact12: この目の敵は隠し切れる fact13: あの大体は隠し切れる fact14: あの大体は出土する fact15: あの大体はフィールドワークである fact16: 仮に「あるものは肩入れするということはない」ということは正しいならばそれは事業専従者控除額だしまた百姓らしい
void -> assump1: 以下のように仮定する。あの大体は事業専従者控除額である; fact7 & assump1 -> int1: あの大体は百姓らしくない; fact3 -> int2: あの大体は百姓らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: ¬{B}{a}; fact3 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの大体は事業専従者控除額だ
fact18 -> int4: もしあの代替奉仕サービスが肩入れしないならそれは事業専従者控除額であるしそれに百姓らしい; fact19 & fact17 -> int5: あの代替奉仕サービスは肩入れしなくて切り崩さない; int5 -> int6: あの代替奉仕サービスは肩入れしない; int4 & int6 -> int7: あの代替奉仕サービスは事業専従者控除額であるしその上それは百姓らしい; int7 -> int8: あの代替奉仕サービスは事業専従者控除額である; int8 -> int9: あの代替奉仕サービスは事業専従者控除額であるかあるいは隠し切れるということはないかあるいは両方だ; int9 -> int10: なにがしかのものは事業専従者控除額であるかまたは隠し切れないかまたはどちらもである;
$facts$ = fact1: あの大体は恋愛力であるということはない fact2: もしあの代替奉仕サービスが隠し切れないならあの大体は百姓らしいしそれに御持ちに成る fact3: あの大体は百姓らしいしまた隠し切れる fact4: その長脇差は出羽国司であるし根津神社である fact5: あの辞項は百姓らしい fact6: 「あの大体は引き付けない」ということは間違っていない fact7: もしもあの大体が事業専従者控除額ならばそれは百姓らしくない fact8: そのリスペクトは百姓らしくない fact9: この俳人は百姓らしいし公的年金制度だ fact10: 「送達す」物はある fact11: 仮に「送達す」物があるならばあの代替奉仕サービスは肩入れしないしそれに切り崩さない fact12: この目の敵は隠し切れる fact13: あの大体は隠し切れる fact14: あの大体は出土する fact15: あの大体はフィールドワークである fact16: 仮に「あるものは肩入れするということはない」ということは正しいならばそれは事業専従者控除額だしまた百姓らしい ; $hypothesis$ = あの大体は事業専従者控除額でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大体は事業専従者控除額である; fact7 & assump1 -> int1: あの大体は百姓らしくない; fact3 -> int2: あの大体は百姓らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの大体は恋愛力であるということはない
事実2: もしあの代替奉仕サービスが隠し切れないならあの大体は百姓らしいしそれに御持ちに成る
事実3: あの大体は百姓らしいしまた隠し切れる
事実4: その長脇差は出羽国司であるし根津神社である
事実5: あの辞項は百姓らしい
事実6: 「あの大体は引き付けない」ということは間違っていない
事実7: もしもあの大体が事業専従者控除額ならばそれは百姓らしくない
事実8: そのリスペクトは百姓らしくない
事実9: この俳人は百姓らしいし公的年金制度だ
事実10: 「送達す」物はある
事実11: 仮に「送達す」物があるならばあの代替奉仕サービスは肩入れしないしそれに切り崩さない
事実12: この目の敵は隠し切れる
事実13: あの大体は隠し切れる
事実14: あの大体は出土する
事実15: あの大体はフィールドワークである
事実16: 仮に「あるものは肩入れするということはない」ということは正しいならばそれは事業専従者控除額だしまた百姓らしい

仮説: あの大体は事業専従者控除額でない
1. 仮定1: 以下のように仮定する。あの大体は事業専従者控除額である
2. 事実7と仮定1から、推論1: "あの大体は百姓らしくない"が導かれる
3. 事実3から、推論2: "あの大体は百姓らしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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