あの盛装は忘れ易くない
fact1: この老住職はＳＤＳＬである fact2: 犯し易いということはない物はＳＤＳＬであるし講ず fact3: もしもこの集塵装置が鳴き止むとするとあの正則は犯し易いということはない fact4: この何千人は見間違うということはないが可笑しい fact5: もしもこの集塵装置が見間違わないとすれば鳴き止むか可笑しくない fact6: もしもこの集塵装置は犯し易いなら「あの正則は講ず一方で鳴き止むということはない」ということは成り立つということはない fact7: あの盛装は講ずないとすると「この非線形性は忘れ易いがＳＤＳＬでない」ということは成り立たない fact8: なんらかの物が鳴き止むかあるいはそれは可笑しくないかもしくは両方だとしたら鳴き止む fact9: 「すべてはＳＤＳＬである」ということは本当である fact10: あの正則が発揮し難くないしかつ忘れ易くないならばあの盛装は忘れ易いということはない fact11: 「発揮し難い物は忘れ易い」ということは成り立つ fact12: あらゆる物は供用する fact13: 仮にこの非線形性がＳＤＳＬであるならあの盛装は発揮し難い
fact9 -> int1: 「この非線形性はＳＤＳＬである」ということは成り立つ; int1 & fact13 -> int2: あの盛装は発揮し難い; fact11 -> int3: もしあの盛装が発揮し難いとしたらそれは忘れ易い; int2 & int3 -> hypothesis;
fact9 -> int1: {A}{aa}; int1 & fact13 -> int2: {B}{a}; fact11 -> int3: {B}{a} -> {C}{a}; int2 & int3 -> hypothesis;
あの盛装は忘れ易くない
fact17 -> int4: もし「あの正則は犯し易くない」ということは成り立つとするとＳＤＳＬだしそれにそれは講ず; fact16 -> int5: もしもこの集塵装置が鳴き止むかまたは可笑しくないとしたらそれは鳴き止む;
$facts$ = fact1: この老住職はＳＤＳＬである fact2: 犯し易いということはない物はＳＤＳＬであるし講ず fact3: もしもこの集塵装置が鳴き止むとするとあの正則は犯し易いということはない fact4: この何千人は見間違うということはないが可笑しい fact5: もしもこの集塵装置が見間違わないとすれば鳴き止むか可笑しくない fact6: もしもこの集塵装置は犯し易いなら「あの正則は講ず一方で鳴き止むということはない」ということは成り立つということはない fact7: あの盛装は講ずないとすると「この非線形性は忘れ易いがＳＤＳＬでない」ということは成り立たない fact8: なんらかの物が鳴き止むかあるいはそれは可笑しくないかもしくは両方だとしたら鳴き止む fact9: 「すべてはＳＤＳＬである」ということは本当である fact10: あの正則が発揮し難くないしかつ忘れ易くないならばあの盛装は忘れ易いということはない fact11: 「発揮し難い物は忘れ易い」ということは成り立つ fact12: あらゆる物は供用する fact13: 仮にこの非線形性がＳＤＳＬであるならあの盛装は発揮し難い ; $hypothesis$ = あの盛装は忘れ易くない ; $proof$ = 
fact9 -> int1: 「この非線形性はＳＤＳＬである」ということは成り立つ; int1 & fact13 -> int2: あの盛装は発揮し難い; fact11 -> int3: もしあの盛装が発揮し難いとしたらそれは忘れ易い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この老住職はＳＤＳＬである
事実2: 犯し易いということはない物はＳＤＳＬであるし講ず
事実3: もしもこの集塵装置が鳴き止むとするとあの正則は犯し易いということはない
事実4: この何千人は見間違うということはないが可笑しい
事実5: もしもこの集塵装置が見間違わないとすれば鳴き止むか可笑しくない
事実6: もしもこの集塵装置は犯し易いなら「あの正則は講ず一方で鳴き止むということはない」ということは成り立つということはない
事実7: あの盛装は講ずないとすると「この非線形性は忘れ易いがＳＤＳＬでない」ということは成り立たない
事実8: なんらかの物が鳴き止むかあるいはそれは可笑しくないかもしくは両方だとしたら鳴き止む
事実9: 「すべてはＳＤＳＬである」ということは本当である
事実10: あの正則が発揮し難くないしかつ忘れ易くないならばあの盛装は忘れ易いということはない
事実11: 「発揮し難い物は忘れ易い」ということは成り立つ
事実12: あらゆる物は供用する
事実13: 仮にこの非線形性がＳＤＳＬであるならあの盛装は発揮し難い

仮説: あの盛装は忘れ易くない
1. 事実9から、推論1: "「この非線形性はＳＤＳＬである」ということは成り立つ"が導かれる
2. 推論1と事実13から、推論2: "あの盛装は発揮し難い"が導かれる
3. 事実11から、推論3: "もしあの盛装が発揮し難いとしたらそれは忘れ易い"が導かれる
4. 推論2と推論3から、仮説が否定される

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