その道徳教育は取っ組み合う
fact1: 仮にその遺族基礎年金は容易くてそれにイタリアンであるならばそれは汚らしくない fact2: その百一号室がイタリアンでないしその上認定出来ないならばあの道徳教育は取っ組み合うということはない fact3: その遺族基礎年金は協力すが齟齬しない fact4: もしも「その遺族基礎年金はイタリアンでない」ということは成り立つとすればその百一号室はイタリアンでないしそれに認定出来ない fact5: 容易いということはないものは取っ組み合うしまたイタリアンである fact6: その遺族基礎年金は御掛かるし汚らしい fact7: もし仮にその遺族基礎年金が協力すけれど齟齬するということはないとすると「容易い」ということは確かだ
fact7 & fact3 -> int1: その遺族基礎年金は容易い; void -> assump1: 以下のように仮定する。その遺族基礎年金はイタリアンである; int1 & assump1 -> int2: その遺族基礎年金は容易いしそれにイタリアンだ; int2 & fact1 -> int3: その遺族基礎年金は汚らしいということはない; fact6 -> int4: その遺族基礎年金は汚らしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その遺族基礎年金はイタリアンでない; int6 & fact4 -> int7: その百一号室はイタリアンだということはないし認定出来ない; int7 & fact2 -> hypothesis;
その道徳教育は取っ組み合う
fact8 -> int8: もしその遺族基礎年金が容易くないとしたら取っ組み合うしその上イタリアンである;
$facts$ = fact1: 仮にその遺族基礎年金は容易くてそれにイタリアンであるならばそれは汚らしくない fact2: その百一号室がイタリアンでないしその上認定出来ないならばあの道徳教育は取っ組み合うということはない fact3: その遺族基礎年金は協力すが齟齬しない fact4: もしも「その遺族基礎年金はイタリアンでない」ということは成り立つとすればその百一号室はイタリアンでないしそれに認定出来ない fact5: 容易いということはないものは取っ組み合うしまたイタリアンである fact6: その遺族基礎年金は御掛かるし汚らしい fact7: もし仮にその遺族基礎年金が協力すけれど齟齬するということはないとすると「容易い」ということは確かだ ; $hypothesis$ = その道徳教育は取っ組み合う ; $proof$ = 
fact7 & fact3 -> int1: その遺族基礎年金は容易い; void -> assump1: 以下のように仮定する。その遺族基礎年金はイタリアンである; int1 & assump1 -> int2: その遺族基礎年金は容易いしそれにイタリアンだ; int2 & fact1 -> int3: その遺族基礎年金は汚らしいということはない; fact6 -> int4: その遺族基礎年金は汚らしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その遺族基礎年金はイタリアンでない; int6 & fact4 -> int7: その百一号室はイタリアンだということはないし認定出来ない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にその遺族基礎年金は容易くてそれにイタリアンであるならばそれは汚らしくない
事実2: その百一号室がイタリアンでないしその上認定出来ないならばあの道徳教育は取っ組み合うということはない
事実3: その遺族基礎年金は協力すが齟齬しない
事実4: もしも「その遺族基礎年金はイタリアンでない」ということは成り立つとすればその百一号室はイタリアンでないしそれに認定出来ない
事実5: 容易いということはないものは取っ組み合うしまたイタリアンである
事実6: その遺族基礎年金は御掛かるし汚らしい
事実7: もし仮にその遺族基礎年金が協力すけれど齟齬するということはないとすると「容易い」ということは確かだ

仮説: その道徳教育は取っ組み合う
1. 事実7と事実3から、推論1: "その遺族基礎年金は容易い"が導かれる
2. 仮定1: 以下のように仮定する。その遺族基礎年金はイタリアンである
3. 推論1と仮定1から、推論2: "その遺族基礎年金は容易いしそれにイタリアンだ"が導かれる
4. 推論2と事実1から、推論3: "その遺族基礎年金は汚らしいということはない"が導かれる
5. 事実6から、推論4: "その遺族基礎年金は汚らしい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その遺族基礎年金はイタリアンでない"が導かれる
8. 推論6と事実4から、推論7: "その百一号室はイタリアンだということはないし認定出来ない"が導かれる
9. 推論7と事実2から、仮説が否定される

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