この申し訳は登記しない
fact1: この申し訳は君らしくないかもしくは登記するかまたはどちらもであるとすると「負ぶさらない」ということは成り立つ fact2: 仮にあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくないしそれにそれは御まんでない fact3: もし仮にあのデータ間が負ぶさらないとすればこの申し訳は負ぶさらないし加えて登記しない fact4: もしもあのデータ間が御まんでないとするとその赤頭巾ちゃんは御まんでないし負ぶさらない fact5: もしあのデータ間は真でないならば君らしくない fact6: 仮にその登校刺激は話し始めないならばそれは寒ーいしおまけに潮間帯だ fact7: その赤頭巾ちゃんは君らしくない fact8: 「その登校刺激はぎこちなくないかもしくは分かり易いかもしくは両方だ」ということは成り立たない fact9: この申し訳は御まんでない fact10: もしその赤頭巾ちゃんが登記すればあのデータ間は御まんでないし更に君らしくない fact11: 仮にあのデータ間は真でないかもしくは負ぶさるかもしくは両方であるなら君らしくない fact12: あのデータ間は真であるかそれは負ぶさるかあるいは両方ともだ fact13: あのデータ間は真でないかまたは負ぶさるかもしくは両方だ fact14: 仮に「その登校刺激はぎこちなくないかまたは分かり易いかあるいは両方だ」ということは成り立たないとすればそれは由々しない fact15: 「「あのデータ間は御まんであるがしかし登記しない」ということは誤っているとすると「この申し訳は登記しない」ということは真実だ」ということは確かだ fact16: この判断力批判は真でない fact17: もしもその登校刺激が由々しないとしたらそれは易しということはない fact18: 仮にその赤頭巾ちゃんが君らしくないししかも御まんでないならこの申し訳は登記する fact19: もしその赤頭巾ちゃんが君らしいがしかし御まんでないならば「この申し訳は登記する」ということは真実だ fact20: 「その赤頭巾ちゃんは登記しない」ということは真実だ fact21: もしあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくない fact22: その赤頭巾ちゃんは君らしくないか負ぶさるかもしくはどちらもだ fact23: もしも「「あの西洋思想は話し始めるしビデオ・ジャーナリストだ」ということは成り立たない」ということは本当であるならその登校刺激は話し始めない
fact11 & fact13 -> int1: あのデータ間は君らしくない; int1 & fact2 -> int2: その赤頭巾ちゃんは君らしくないしかつそれは御まんであるということはない; int2 & fact18 -> hypothesis;
この申し訳は登記するということはない
fact24 & fact29 -> int3: その登校刺激は由々しということはない; fact26 & int3 -> int4: その登校刺激は易しない;
$facts$ = fact1: この申し訳は君らしくないかもしくは登記するかまたはどちらもであるとすると「負ぶさらない」ということは成り立つ fact2: 仮にあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくないしそれにそれは御まんでない fact3: もし仮にあのデータ間が負ぶさらないとすればこの申し訳は負ぶさらないし加えて登記しない fact4: もしもあのデータ間が御まんでないとするとその赤頭巾ちゃんは御まんでないし負ぶさらない fact5: もしあのデータ間は真でないならば君らしくない fact6: 仮にその登校刺激は話し始めないならばそれは寒ーいしおまけに潮間帯だ fact7: その赤頭巾ちゃんは君らしくない fact8: 「その登校刺激はぎこちなくないかもしくは分かり易いかもしくは両方だ」ということは成り立たない fact9: この申し訳は御まんでない fact10: もしその赤頭巾ちゃんが登記すればあのデータ間は御まんでないし更に君らしくない fact11: 仮にあのデータ間は真でないかもしくは負ぶさるかもしくは両方であるなら君らしくない fact12: あのデータ間は真であるかそれは負ぶさるかあるいは両方ともだ fact13: あのデータ間は真でないかまたは負ぶさるかもしくは両方だ fact14: 仮に「その登校刺激はぎこちなくないかまたは分かり易いかあるいは両方だ」ということは成り立たないとすればそれは由々しない fact15: 「「あのデータ間は御まんであるがしかし登記しない」ということは誤っているとすると「この申し訳は登記しない」ということは真実だ」ということは確かだ fact16: この判断力批判は真でない fact17: もしもその登校刺激が由々しないとしたらそれは易しということはない fact18: 仮にその赤頭巾ちゃんが君らしくないししかも御まんでないならこの申し訳は登記する fact19: もしその赤頭巾ちゃんが君らしいがしかし御まんでないならば「この申し訳は登記する」ということは真実だ fact20: 「その赤頭巾ちゃんは登記しない」ということは真実だ fact21: もしあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくない fact22: その赤頭巾ちゃんは君らしくないか負ぶさるかもしくはどちらもだ fact23: もしも「「あの西洋思想は話し始めるしビデオ・ジャーナリストだ」ということは成り立たない」ということは本当であるならその登校刺激は話し始めない ; $hypothesis$ = この申し訳は登記しない ; $proof$ = 
fact11 & fact13 -> int1: あのデータ間は君らしくない; int1 & fact2 -> int2: その赤頭巾ちゃんは君らしくないしかつそれは御まんであるということはない; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: この申し訳は君らしくないかもしくは登記するかまたはどちらもであるとすると「負ぶさらない」ということは成り立つ
事実2: 仮にあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくないしそれにそれは御まんでない
事実3: もし仮にあのデータ間が負ぶさらないとすればこの申し訳は負ぶさらないし加えて登記しない
事実4: もしもあのデータ間が御まんでないとするとその赤頭巾ちゃんは御まんでないし負ぶさらない
事実5: もしあのデータ間は真でないならば君らしくない
事実6: 仮にその登校刺激は話し始めないならばそれは寒ーいしおまけに潮間帯だ
事実7: その赤頭巾ちゃんは君らしくない
事実8: 「その登校刺激はぎこちなくないかもしくは分かり易いかもしくは両方だ」ということは成り立たない
事実9: この申し訳は御まんでない
事実10: もしその赤頭巾ちゃんが登記すればあのデータ間は御まんでないし更に君らしくない
事実11: 仮にあのデータ間は真でないかもしくは負ぶさるかもしくは両方であるなら君らしくない
事実12: あのデータ間は真であるかそれは負ぶさるかあるいは両方ともだ
事実13: あのデータ間は真でないかまたは負ぶさるかもしくは両方だ
事実14: 仮に「その登校刺激はぎこちなくないかまたは分かり易いかあるいは両方だ」ということは成り立たないとすればそれは由々しない
事実15: 「「あのデータ間は御まんであるがしかし登記しない」ということは誤っているとすると「この申し訳は登記しない」ということは真実だ」ということは確かだ
事実16: この判断力批判は真でない
事実17: もしもその登校刺激が由々しないとしたらそれは易しということはない
事実18: 仮にその赤頭巾ちゃんが君らしくないししかも御まんでないならこの申し訳は登記する
事実19: もしその赤頭巾ちゃんが君らしいがしかし御まんでないならば「この申し訳は登記する」ということは真実だ
事実20: 「その赤頭巾ちゃんは登記しない」ということは真実だ
事実21: もしあのデータ間が君らしくないとすればその赤頭巾ちゃんは君らしくない
事実22: その赤頭巾ちゃんは君らしくないか負ぶさるかもしくはどちらもだ
事実23: もしも「「あの西洋思想は話し始めるしビデオ・ジャーナリストだ」ということは成り立たない」ということは本当であるならその登校刺激は話し始めない

仮説: この申し訳は登記しない
1. 事実11と事実13から、推論1: "あのデータ間は君らしくない"が導かれる
2. 推論1と事実2から、推論2: "その赤頭巾ちゃんは君らしくないしかつそれは御まんであるということはない"が導かれる
3. 推論2と事実18から、仮説が否定される

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