この絵心は街らしい
fact1: この靖国参拝は若くない fact2: 仮にこの靖国参拝が若いということはないとしたらそれはトゥデーでない一方で射精である fact3: もしもとあるものが若いとしたらそれは交流出来ないし煙たい fact4: 「なんらかの物は学校心理臨床でないか腹立たしい」ということは誤りならば街らしい fact5: もしも「トゥデーでない一方で射精な」ものがあるとするとこの絵心は街らしくない fact6: この靖国参拝はトゥデーでない fact7: 仮にあるものは裏情報であるということはないなら「それは学校心理臨床でないかまたは腹立たしいかもしくは両方ともだ」ということは成り立たない
fact2 & fact1 -> int1: この靖国参拝はトゥデーでない一方でそれは射精である; int1 -> int2: ある物はトゥデーでないけど射精だ; int2 & fact5 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): (¬{AA}x & {AB}x); int2 & fact5 -> hypothesis;
この靖国参拝は交流出来ないけれど煙たい
fact9 -> int3: この靖国参拝が若いとしたらそれは交流出来ないがしかし煙たい; fact10 -> int4: もしも「この絵心は学校心理臨床でないか腹立たしい」ということは間違いだとするとそれは街らしい; fact8 -> int5: もしもこの絵心は裏情報でないとしたら「それは学校心理臨床でないかまたは腹立たしい」ということは偽だ;
$facts$ = fact1: この靖国参拝は若くない fact2: 仮にこの靖国参拝が若いということはないとしたらそれはトゥデーでない一方で射精である fact3: もしもとあるものが若いとしたらそれは交流出来ないし煙たい fact4: 「なんらかの物は学校心理臨床でないか腹立たしい」ということは誤りならば街らしい fact5: もしも「トゥデーでない一方で射精な」ものがあるとするとこの絵心は街らしくない fact6: この靖国参拝はトゥデーでない fact7: 仮にあるものは裏情報であるということはないなら「それは学校心理臨床でないかまたは腹立たしいかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = この絵心は街らしい ; $proof$ = 
fact2 & fact1 -> int1: この靖国参拝はトゥデーでない一方でそれは射精である; int1 -> int2: ある物はトゥデーでないけど射精だ; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: この靖国参拝は若くない
事実2: 仮にこの靖国参拝が若いということはないとしたらそれはトゥデーでない一方で射精である
事実3: もしもとあるものが若いとしたらそれは交流出来ないし煙たい
事実4: 「なんらかの物は学校心理臨床でないか腹立たしい」ということは誤りならば街らしい
事実5: もしも「トゥデーでない一方で射精な」ものがあるとするとこの絵心は街らしくない
事実6: この靖国参拝はトゥデーでない
事実7: 仮にあるものは裏情報であるということはないなら「それは学校心理臨床でないかまたは腹立たしいかもしくは両方ともだ」ということは成り立たない

仮説: この絵心は街らしい
1. 事実2と事実1から、推論1: "この靖国参拝はトゥデーでない一方でそれは射精である"が導かれる
2. 推論1から、推論2: "ある物はトゥデーでないけど射精だ"が導かれる
3. 推論2と事実5から、仮説が否定される

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