この交戦中は収入科目でない
fact1: 仮にあの電子工学が盗品性でないが抜き難いとすればその前年度比は怯え切らない fact2: 「仮にその前年度比が怯え切らないならあの単独ライブは女らしくないしその上怯え切らない」ということは確かだ fact3: 仮にこの交戦中が母親らしい一方で収入科目であるということはないならあの単独ライブは女らしい fact4: あの単独ライブは収入科目である一方で母親らしくない fact5: あのジャバアプリケーションは抜き難くない fact6: あの電子工学は抜き難い fact7: あの電子工学は盗品性でない fact8: もし仮にあの単独ライブが焦げ臭いけれどそれが母親らしくないならこの交戦中は収入科目だ fact9: とあるものが怯え切らないならば焦げ臭いけど母親らしくない fact10: 仮に「あの電子工学は母親らしくない」ということは正しいならば盗品性でない
fact7 & fact6 -> int1: あの電子工学は盗品性でないけれどそれは抜き難い; int1 & fact1 -> int2: その前年度比は怯え切らない; int2 & fact2 -> int3: あの単独ライブが女らしいということはないしさらにそれは怯え切らない; int3 -> int4: あの単独ライブは怯え切るということはない; fact9 -> int5: もしもあの単独ライブが怯え切らないなら焦げ臭いけど母親らしくない; int4 & int5 -> int6: あの単独ライブは焦げ臭いがしかし母親らしくない; int6 & fact8 -> hypothesis;
$facts$ = fact1: 仮にあの電子工学が盗品性でないが抜き難いとすればその前年度比は怯え切らない fact2: 「仮にその前年度比が怯え切らないならあの単独ライブは女らしくないしその上怯え切らない」ということは確かだ fact3: 仮にこの交戦中が母親らしい一方で収入科目であるということはないならあの単独ライブは女らしい fact4: あの単独ライブは収入科目である一方で母親らしくない fact5: あのジャバアプリケーションは抜き難くない fact6: あの電子工学は抜き難い fact7: あの電子工学は盗品性でない fact8: もし仮にあの単独ライブが焦げ臭いけれどそれが母親らしくないならこの交戦中は収入科目だ fact9: とあるものが怯え切らないならば焦げ臭いけど母親らしくない fact10: 仮に「あの電子工学は母親らしくない」ということは正しいならば盗品性でない ; $hypothesis$ = この交戦中は収入科目でない ; $proof$ = 
fact7 & fact6 -> int1: あの電子工学は盗品性でないけれどそれは抜き難い; int1 & fact1 -> int2: その前年度比は怯え切らない; int2 & fact2 -> int3: あの単独ライブが女らしいということはないしさらにそれは怯え切らない; int3 -> int4: あの単独ライブは怯え切るということはない; fact9 -> int5: もしもあの単独ライブが怯え切らないなら焦げ臭いけど母親らしくない; int4 & int5 -> int6: あの単独ライブは焦げ臭いがしかし母親らしくない; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にあの電子工学が盗品性でないが抜き難いとすればその前年度比は怯え切らない
事実2: 「仮にその前年度比が怯え切らないならあの単独ライブは女らしくないしその上怯え切らない」ということは確かだ
事実3: 仮にこの交戦中が母親らしい一方で収入科目であるということはないならあの単独ライブは女らしい
事実4: あの単独ライブは収入科目である一方で母親らしくない
事実5: あのジャバアプリケーションは抜き難くない
事実6: あの電子工学は抜き難い
事実7: あの電子工学は盗品性でない
事実8: もし仮にあの単独ライブが焦げ臭いけれどそれが母親らしくないならこの交戦中は収入科目だ
事実9: とあるものが怯え切らないならば焦げ臭いけど母親らしくない
事実10: 仮に「あの電子工学は母親らしくない」ということは正しいならば盗品性でない

仮説: この交戦中は収入科目でない
1. 事実7と事実6から、推論1: "あの電子工学は盗品性でないけれどそれは抜き難い"が導かれる
2. 推論1と事実1から、推論2: "その前年度比は怯え切らない"が導かれる
3. 推論2と事実2から、推論3: "あの単独ライブが女らしいということはないしさらにそれは怯え切らない"が導かれる
4. 推論3から、推論4: "あの単独ライブは怯え切るということはない"が導かれる
5. 事実9から、推論5: "もしもあの単独ライブが怯え切らないなら焦げ臭いけど母親らしくない"が導かれる
6. 推論4と推論5から、推論6: "あの単独ライブは焦げ臭いがしかし母親らしくない"が導かれる
7. 推論6と事実8から、仮説が否定される

よって、仮説が否定されました。