その緑十字は大人らしくない
fact1: もし五秒キープが塗り重ねないとするとその緑十字は大人らしい fact2: 「疲れ易くないしかつ五秒キープでない」ものがあるとしたらそのユーザーアカウント名は塗り重ねる fact3: そのユーザーアカウント名が五秒キープであるとするとこの恒星は五秒キープだということはなくて塗り重ねない fact4: もし仮に「五秒キープだしまた大人らしくない」物があればそのユーザーアカウント名は塗り重ねる fact5: そのユーザーアカウント名は疲れ易くて五秒キープだ fact6: 仮になんらかの物が五秒キープでないししかも大人らしくないとするとその緑十字は塗り重ねる fact7: その緑十字は疲れ易い fact8: このスキンシップは五秒キープでないしおまけに早しということはない fact9: もしも「五秒キープでないし塗り重ねない」物があるとするとその緑十字は大人らしい
fact5 -> int1: そのユーザーアカウント名は五秒キープである; int1 & fact3 -> int2: この恒星は五秒キープでないし更に塗り重ねるということはない; int2 -> int3: 「五秒キープでなくてそれに塗り重ねない」物はある; int3 & fact9 -> hypothesis;
$facts$ = fact1: もし五秒キープが塗り重ねないとするとその緑十字は大人らしい fact2: 「疲れ易くないしかつ五秒キープでない」ものがあるとしたらそのユーザーアカウント名は塗り重ねる fact3: そのユーザーアカウント名が五秒キープであるとするとこの恒星は五秒キープだということはなくて塗り重ねない fact4: もし仮に「五秒キープだしまた大人らしくない」物があればそのユーザーアカウント名は塗り重ねる fact5: そのユーザーアカウント名は疲れ易くて五秒キープだ fact6: 仮になんらかの物が五秒キープでないししかも大人らしくないとするとその緑十字は塗り重ねる fact7: その緑十字は疲れ易い fact8: このスキンシップは五秒キープでないしおまけに早しということはない fact9: もしも「五秒キープでないし塗り重ねない」物があるとするとその緑十字は大人らしい ; $hypothesis$ = その緑十字は大人らしくない ; $proof$ = 
fact5 -> int1: そのユーザーアカウント名は五秒キープである; int1 & fact3 -> int2: この恒星は五秒キープでないし更に塗り重ねるということはない; int2 -> int3: 「五秒キープでなくてそれに塗り重ねない」物はある; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: もし五秒キープが塗り重ねないとするとその緑十字は大人らしい
事実2: 「疲れ易くないしかつ五秒キープでない」ものがあるとしたらそのユーザーアカウント名は塗り重ねる
事実3: そのユーザーアカウント名が五秒キープであるとするとこの恒星は五秒キープだということはなくて塗り重ねない
事実4: もし仮に「五秒キープだしまた大人らしくない」物があればそのユーザーアカウント名は塗り重ねる
事実5: そのユーザーアカウント名は疲れ易くて五秒キープだ
事実6: 仮になんらかの物が五秒キープでないししかも大人らしくないとするとその緑十字は塗り重ねる
事実7: その緑十字は疲れ易い
事実8: このスキンシップは五秒キープでないしおまけに早しということはない
事実9: もしも「五秒キープでないし塗り重ねない」物があるとするとその緑十字は大人らしい

仮説: その緑十字は大人らしくない
1. 事実5から、推論1: "そのユーザーアカウント名は五秒キープである"が導かれる
2. 推論1と事実3から、推論2: "この恒星は五秒キープでないし更に塗り重ねるということはない"が導かれる
3. 推論2から、推論3: "「五秒キープでなくてそれに塗り重ねない」物はある"が導かれる
4. 推論3と事実9から、仮説が否定される

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