この天下取りは横付けするし姉らしい
fact1: その共同性は文化元年でないなら「この殴打は温いし更に心置き無い」ということは間違っている fact2: 仮に「逆掲揚する」物があるならその共同性はクラッカーでない fact3: その抜け参りは横付けしない fact4: もしもこの殴打が心置き無いということはないならその共同性は歩き始めない fact5: もしもその共同性はマッカーシズムでないとすれば「この天下取りは横付けするしさらに姉らしい」ということは事実と異なる fact6: もしもこの何等変更が痛々しくないけどそれは心置き無いとすると「それは悪し」ということは確かである fact7: もしも温いということはない物が歩き始めないとしたら分散和音だ fact8: 「逆掲揚する」物があるならばあの共同性はクラッカーでないけどそれは文化元年である fact9: 仮に「その共同性は横付けしなくてそれは文化元年でない」ということは本当だとすればあの天下取りは横付けする fact10: もしその右手小指がマッカーシズムでないとしたらそれはクラッカーでないしまた分散和音である fact11: この殴打は心置き無くない fact12: もし温くない物が歩き始めるとしたら分散和音だ fact13: その共同性は歩き始めるということはない fact14: 何らかの物は心置き無い fact15: 「この天下取りが姉らしいしその上文化元年である」ということは確かだ fact16: その共同性が温くないが歩き始めるとしたら分散和音である fact17: この天下取りは文化元年でそれにそれは姉らしい fact18: 仮にこの天下取りが分散和音でないとするとその共同性は温くないしさらに姉らしいということはない fact19: 「その共同性はクラッカーだということはない」ということは真実だ fact20: もし仮にこの殴打が心置き無くないとすればその共同性は温くないしその上歩き始めない fact21: 「逆掲揚する」物はある fact22: もしこの天下取りがクラッカーでないとすれば姉らしいし更にそれは逆掲揚する fact23: 文化元年は分散和音であるならマッカーシズムであるということはない
fact21 & fact8 -> int1: その共同性はクラッカーでないけど文化元年である; int1 -> int2: その共同性は文化元年である; fact20 & fact11 -> int3: その共同性は温いということはないしそれに歩き始めない; fact7 -> int4: その共同性は温くないし更に歩き始めないとすると分散和音だ; int3 & int4 -> int5: その共同性は分散和音である; int2 & int5 -> int6: その共同性は文化元年であるしさらに分散和音だ; fact23 -> int7: もし仮にその共同性は文化元年だし分散和音であるとすればマッカーシズムであるということはない; int6 & int7 -> int8: その共同性はマッカーシズムでない; int8 & fact5 -> hypothesis;
この天下取りは横付けするししかも姉らしい
$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$ = 
fact21 & fact8 -> int1: その共同性はクラッカーでないけど文化元年である; int1 -> int2: その共同性は文化元年である; fact20 & fact11 -> int3: その共同性は温いということはないしそれに歩き始めない; fact7 -> int4: その共同性は温くないし更に歩き始めないとすると分散和音だ; int3 & int4 -> int5: その共同性は分散和音である; int2 & int5 -> int6: その共同性は文化元年であるしさらに分散和音だ; fact23 -> int7: もし仮にその共同性は文化元年だし分散和音であるとすればマッカーシズムであるということはない; int6 & int7 -> int8: その共同性はマッカーシズムでない; int8 & fact5 -> 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. 事実21と事実8から、推論1: "その共同性はクラッカーでないけど文化元年である"が導かれる
2. 推論1から、推論2: "その共同性は文化元年である"が導かれる
3. 事実20と事実11から、推論3: "その共同性は温いということはないしそれに歩き始めない"が導かれる
4. 事実7から、推論4: "その共同性は温くないし更に歩き始めないとすると分散和音だ"が導かれる
5. 推論3と推論4から、推論5: "その共同性は分散和音である"が導かれる
6. 推論2と推論5から、推論6: "その共同性は文化元年であるしさらに分散和音だ"が導かれる
7. 事実23から、推論7: "もし仮にその共同性は文化元年だし分散和音であるとすればマッカーシズムであるということはない"が導かれる
8. 推論6と推論7から、推論8: "その共同性はマッカーシズムでない"が導かれる
9. 推論8と事実5から、仮説が否定される

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