その評価額は加入者番号でない
fact1: もし仮に「その評価額は先っちょである」ということは誤りでないならば加入者番号でない fact2: すべての物は通じ易いしさらに所らしいということはない fact3: その評価額はＡ組である fact4: もし仮に「その陰茎は耐震改修だ」ということは成り立つとしたらその評価額は耐震改修である fact5: 何らかの物が起算しないとしたらそれは先っちょであるしかつ狡賢い fact6: すべてのものは選好するが太り難くない fact7: もしもとあるものは数珠繋ぎならば「それは小高いししかも起算しない」ということは確かでない fact8: もしなんらかの物は起算しないかあるいは数珠繋ぎであるかあるいは両方ともであるとしたらそれは起算しない fact9: どれもこれもは加入者番号だがしかし先っちょでない fact10: あの潮は加入者番号である fact11: その評価額は煩わせるけれど叩けない fact12: 「もしもなにがしかのものが先っちょであるとすればその陰茎は耐震改修であるかもしくは加入者番号であるかどちらもだ」ということは真実である fact13: その評価額は試食する一方で懐っこくない fact14: その評価額は欲深い fact15: すべては手痛くない fact16: その共感が小高いならあの空港地区内は起算しないかあるいは数珠繋ぎであるかもしくは両方だ fact17: もし仮に「その陰茎は小高いがしかし起算しない」ということは間違いだとすると「それは先っちょでない」ということは成り立つ fact18: もし仮にその陰茎は狡賢くなくて加入者番号でないとしたら「その評価額は加入者番号だということはない」ということは成り立つ fact19: 何もかもは冷め易くない fact20: その評価額は先っちょでない fact21: どれもこれもは先っちょでない
fact9 -> int1: その評価額は加入者番号だけれど先っちょであるということはない; int1 -> hypothesis;
fact9 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> hypothesis;
その評価額は加入者番号でない
fact23 -> int2: 仮にその陰茎は数珠繋ぎであるなら「それは小高い一方で起算しない」ということは真実でない;
$facts$ = fact1: もし仮に「その評価額は先っちょである」ということは誤りでないならば加入者番号でない fact2: すべての物は通じ易いしさらに所らしいということはない fact3: その評価額はＡ組である fact4: もし仮に「その陰茎は耐震改修だ」ということは成り立つとしたらその評価額は耐震改修である fact5: 何らかの物が起算しないとしたらそれは先っちょであるしかつ狡賢い fact6: すべてのものは選好するが太り難くない fact7: もしもとあるものは数珠繋ぎならば「それは小高いししかも起算しない」ということは確かでない fact8: もしなんらかの物は起算しないかあるいは数珠繋ぎであるかあるいは両方ともであるとしたらそれは起算しない fact9: どれもこれもは加入者番号だがしかし先っちょでない fact10: あの潮は加入者番号である fact11: その評価額は煩わせるけれど叩けない fact12: 「もしもなにがしかのものが先っちょであるとすればその陰茎は耐震改修であるかもしくは加入者番号であるかどちらもだ」ということは真実である fact13: その評価額は試食する一方で懐っこくない fact14: その評価額は欲深い fact15: すべては手痛くない fact16: その共感が小高いならあの空港地区内は起算しないかあるいは数珠繋ぎであるかもしくは両方だ fact17: もし仮に「その陰茎は小高いがしかし起算しない」ということは間違いだとすると「それは先っちょでない」ということは成り立つ fact18: もし仮にその陰茎は狡賢くなくて加入者番号でないとしたら「その評価額は加入者番号だということはない」ということは成り立つ fact19: 何もかもは冷め易くない fact20: その評価額は先っちょでない fact21: どれもこれもは先っちょでない ; $hypothesis$ = その評価額は加入者番号でない ; $proof$ = 
fact9 -> int1: その評価額は加入者番号だけれど先っちょであるということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「その評価額は先っちょである」ということは誤りでないならば加入者番号でない
事実2: すべての物は通じ易いしさらに所らしいということはない
事実3: その評価額はＡ組である
事実4: もし仮に「その陰茎は耐震改修だ」ということは成り立つとしたらその評価額は耐震改修である
事実5: 何らかの物が起算しないとしたらそれは先っちょであるしかつ狡賢い
事実6: すべてのものは選好するが太り難くない
事実7: もしもとあるものは数珠繋ぎならば「それは小高いししかも起算しない」ということは確かでない
事実8: もしなんらかの物は起算しないかあるいは数珠繋ぎであるかあるいは両方ともであるとしたらそれは起算しない
事実9: どれもこれもは加入者番号だがしかし先っちょでない
事実10: あの潮は加入者番号である
事実11: その評価額は煩わせるけれど叩けない
事実12: 「もしもなにがしかのものが先っちょであるとすればその陰茎は耐震改修であるかもしくは加入者番号であるかどちらもだ」ということは真実である
事実13: その評価額は試食する一方で懐っこくない
事実14: その評価額は欲深い
事実15: すべては手痛くない
事実16: その共感が小高いならあの空港地区内は起算しないかあるいは数珠繋ぎであるかもしくは両方だ
事実17: もし仮に「その陰茎は小高いがしかし起算しない」ということは間違いだとすると「それは先っちょでない」ということは成り立つ
事実18: もし仮にその陰茎は狡賢くなくて加入者番号でないとしたら「その評価額は加入者番号だということはない」ということは成り立つ
事実19: 何もかもは冷め易くない
事実20: その評価額は先っちょでない
事実21: どれもこれもは先っちょでない

仮説: その評価額は加入者番号でない
1. 事実9から、推論1: "その評価額は加入者番号だけれど先っちょであるということはない"が導かれる
2. 推論1から、仮説が否定される

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