この万里は参加し易い
fact1: 仮に何かは害すがそれが捕まえ易くないならばそれはエピソード記憶でない fact2: そのストーリーは画面表示であるしその上捕まえ易い fact3: もし仮に「このすりすりは外国語だということはなくて赤しない」ということは本当であるならばその地財は赤しない fact4: 仮にその中略が肥やすし加えて赤しとすればあの万里は参加し易くない fact5: 参加し易くないものは外国語でないしその上赤しない fact6: もしもその地財は外国語であるならばそれは害す fact7: もしもその地財が肥やすかまたは赤しないかまたは両方であるとすればその外省人は肥やさくない fact8: 仮にその地財が害さないとしたら捕まえ易くないしエピソード記憶でない fact9: もしこのＣＲ回路が赤しとするとその中略は赤し fact10: もし仮にこのすりすりが日本基準でないしさらに見分けないならばそのストーリーは捕まえ易くない fact11: その地財は外国語である fact12: このすりすりはプレビューモードだ一方で画面表示でないなら「それは参加し易くない」ということは確かだ fact13: その地財がエピソード記憶であるならこのすりすりは日本基準でなくて見分けない fact14: もしもその地財がエピソード記憶であるとするとこのすりすりは日本基準でない fact15: このＣＲ回路は赤し fact16: もし仮に「このすりすりは害すかまたは赤しないかもしくはどちらもである」ということは間違っているとすれば「その地財は害さない」ということは成り立つ fact17: もしもその地財がエピソード記憶でない一方で害すとすればあの中略は肥やす fact18: もしもなんらかの物が肥やさくないとすると害すけど捕まえ易いということはない
void -> assump1: 以下のように仮定する。その地財はエピソード記憶だ; fact13 & assump1 -> int1: このすりすりは日本基準でないしさらに見分けない; int1 & fact10 -> int2: そのストーリーは捕まえ易くない; fact2 -> int3: そのストーリーは捕まえ易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その地財はエピソード記憶でない; fact6 & fact11 -> int6: その地財は害す; int5 & int6 -> int7: 「その地財はエピソード記憶でないけど害す」ということは事実と異ならない; int7 & fact17 -> int8: その中略は肥やす; fact15 & fact9 -> int9: その中略は赤し; int8 & int9 -> int10: その中略は肥やすし赤し; int10 & fact4 -> hypothesis;
その外省人はエピソード記憶でない
fact24 -> int11: もし仮にその外省人は害すがしかし捕まえ易くないとすればエピソード記憶でない; fact20 -> int12: 仮にその外省人が肥やさくないとしたら害すし捕まえ易くない; fact21 -> int13: もしこのすりすりが参加し易くないなら外国語でなくてしかもそれは赤しない;
$facts$ = fact1: 仮に何かは害すがそれが捕まえ易くないならばそれはエピソード記憶でない fact2: そのストーリーは画面表示であるしその上捕まえ易い fact3: もし仮に「このすりすりは外国語だということはなくて赤しない」ということは本当であるならばその地財は赤しない fact4: 仮にその中略が肥やすし加えて赤しとすればあの万里は参加し易くない fact5: 参加し易くないものは外国語でないしその上赤しない fact6: もしもその地財は外国語であるならばそれは害す fact7: もしもその地財が肥やすかまたは赤しないかまたは両方であるとすればその外省人は肥やさくない fact8: 仮にその地財が害さないとしたら捕まえ易くないしエピソード記憶でない fact9: もしこのＣＲ回路が赤しとするとその中略は赤し fact10: もし仮にこのすりすりが日本基準でないしさらに見分けないならばそのストーリーは捕まえ易くない fact11: その地財は外国語である fact12: このすりすりはプレビューモードだ一方で画面表示でないなら「それは参加し易くない」ということは確かだ fact13: その地財がエピソード記憶であるならこのすりすりは日本基準でなくて見分けない fact14: もしもその地財がエピソード記憶であるとするとこのすりすりは日本基準でない fact15: このＣＲ回路は赤し fact16: もし仮に「このすりすりは害すかまたは赤しないかもしくはどちらもである」ということは間違っているとすれば「その地財は害さない」ということは成り立つ fact17: もしもその地財がエピソード記憶でない一方で害すとすればあの中略は肥やす fact18: もしもなんらかの物が肥やさくないとすると害すけど捕まえ易いということはない ; $hypothesis$ = この万里は参加し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その地財はエピソード記憶だ; fact13 & assump1 -> int1: このすりすりは日本基準でないしさらに見分けない; int1 & fact10 -> int2: そのストーリーは捕まえ易くない; fact2 -> int3: そのストーリーは捕まえ易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その地財はエピソード記憶でない; fact6 & fact11 -> int6: その地財は害す; int5 & int6 -> int7: 「その地財はエピソード記憶でないけど害す」ということは事実と異ならない; int7 & fact17 -> int8: その中略は肥やす; fact15 & fact9 -> int9: その中略は赤し; int8 & int9 -> int10: その中略は肥やすし赤し; int10 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に何かは害すがそれが捕まえ易くないならばそれはエピソード記憶でない
事実2: そのストーリーは画面表示であるしその上捕まえ易い
事実3: もし仮に「このすりすりは外国語だということはなくて赤しない」ということは本当であるならばその地財は赤しない
事実4: 仮にその中略が肥やすし加えて赤しとすればあの万里は参加し易くない
事実5: 参加し易くないものは外国語でないしその上赤しない
事実6: もしもその地財は外国語であるならばそれは害す
事実7: もしもその地財が肥やすかまたは赤しないかまたは両方であるとすればその外省人は肥やさくない
事実8: 仮にその地財が害さないとしたら捕まえ易くないしエピソード記憶でない
事実9: もしこのＣＲ回路が赤しとするとその中略は赤し
事実10: もし仮にこのすりすりが日本基準でないしさらに見分けないならばそのストーリーは捕まえ易くない
事実11: その地財は外国語である
事実12: このすりすりはプレビューモードだ一方で画面表示でないなら「それは参加し易くない」ということは確かだ
事実13: その地財がエピソード記憶であるならこのすりすりは日本基準でなくて見分けない
事実14: もしもその地財がエピソード記憶であるとするとこのすりすりは日本基準でない
事実15: このＣＲ回路は赤し
事実16: もし仮に「このすりすりは害すかまたは赤しないかもしくはどちらもである」ということは間違っているとすれば「その地財は害さない」ということは成り立つ
事実17: もしもその地財がエピソード記憶でない一方で害すとすればあの中略は肥やす
事実18: もしもなんらかの物が肥やさくないとすると害すけど捕まえ易いということはない

仮説: この万里は参加し易い
1. 仮定1: 以下のように仮定する。その地財はエピソード記憶だ
2. 事実13と仮定1から、推論1: "このすりすりは日本基準でないしさらに見分けない"が導かれる
3. 推論1と事実10から、推論2: "そのストーリーは捕まえ易くない"が導かれる
4. 事実2から、推論3: "そのストーリーは捕まえ易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その地財はエピソード記憶でない"が導かれる
7. 事実6と事実11から、推論6: "その地財は害す"が導かれる
8. 推論5と推論6から、推論7: "「その地財はエピソード記憶でないけど害す」ということは事実と異ならない"が導かれる
9. 推論7と事実17から、推論8: "その中略は肥やす"が導かれる
10. 事実15と事実9から、推論9: "その中略は赤し"が導かれる
11. 推論8と推論9から、推論10: "その中略は肥やすし赤し"が導かれる
12. 推論10と事実4から、仮説が否定される

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