この紙面上は愛し
fact1: もし「なんらかの物は愛しということはないけれど先月号である」ということは誤りであるとすれば基礎疾患でない fact2: 何らかの物が集め易くないならそれは愛ししかつ老人性痴呆である fact3: 「ポートフォリオでない」物はある fact4: この人物論は老人性痴呆である fact5: もし仮にこの人物論は老人性痴呆だとしたら「この紙面上は付け難くない一方で凄い」ということは成り立たない fact6: ある物が浮かべるとすると集め易くない fact7: もしもなにがしかの物が図式化するとすると浮かべる fact8: 「この紙面上は付け難くないけれど凄い」ということは間違っているとすると「愛しない」ということは本当である
fact5 & fact4 -> int1: 「この紙面上は付け難くない一方でそれは凄い」ということは誤っている; int1 & fact8 -> hypothesis;
fact5 & fact4 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact8 -> hypothesis;
この紙面上は愛し
fact12 -> int2: もしこの紙面上が集め易くないならばそれは愛ししそれに老人性痴呆である; fact10 -> int3: この紙面上は浮かべれば「それは集め易くない」ということは成り立つ; fact11 -> int4: この紙面上が図式化するとしたらそれは浮かべる;
$facts$ = fact1: もし「なんらかの物は愛しということはないけれど先月号である」ということは誤りであるとすれば基礎疾患でない fact2: 何らかの物が集め易くないならそれは愛ししかつ老人性痴呆である fact3: 「ポートフォリオでない」物はある fact4: この人物論は老人性痴呆である fact5: もし仮にこの人物論は老人性痴呆だとしたら「この紙面上は付け難くない一方で凄い」ということは成り立たない fact6: ある物が浮かべるとすると集め易くない fact7: もしもなにがしかの物が図式化するとすると浮かべる fact8: 「この紙面上は付け難くないけれど凄い」ということは間違っているとすると「愛しない」ということは本当である ; $hypothesis$ = この紙面上は愛し ; $proof$ = 
fact5 & fact4 -> int1: 「この紙面上は付け難くない一方でそれは凄い」ということは誤っている; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし「なんらかの物は愛しということはないけれど先月号である」ということは誤りであるとすれば基礎疾患でない
事実2: 何らかの物が集め易くないならそれは愛ししかつ老人性痴呆である
事実3: 「ポートフォリオでない」物はある
事実4: この人物論は老人性痴呆である
事実5: もし仮にこの人物論は老人性痴呆だとしたら「この紙面上は付け難くない一方で凄い」ということは成り立たない
事実6: ある物が浮かべるとすると集め易くない
事実7: もしもなにがしかの物が図式化するとすると浮かべる
事実8: 「この紙面上は付け難くないけれど凄い」ということは間違っているとすると「愛しない」ということは本当である

仮説: この紙面上は愛し
1. 事実5と事実4から、推論1: "「この紙面上は付け難くない一方でそれは凄い」ということは誤っている"が導かれる
2. 推論1と事実8から、仮説が否定される

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