「この社交場は懐かしいかあるいはそれは恋するかまたはどちらもである」ということは事実と異なる
fact1: もし仮に「この活性段階は恋しなくて懐かしくない」ということは間違いだとしたらこの社交場は繋がり易い fact2: 仮に「この活性段階は繋がり易くなくてストライプ状でない」ということは間違っているならばあの社交場は懐かしい fact3: もし何かは駆け寄らないとすると「それは懐かしいかあるいは恋するかまたは両方ともだ」ということは事実と異なる fact4: 「「この活性段階は懐かしくないしそれはストライプ状でない」ということは成り立たない」ということは成り立つ fact5: 「この活性段階は恋しないし更に繋がり易いということはない」ということは成り立つということはない fact6: 「この活性段階は繋がり易くない一方でストライプ状である」ということは成り立たない fact7: この活性段階は恋する fact8: 「この供養はクレジット・サラ金業者であるということはないけれどストライプ状である」ということは成り立たない fact9: 「この活性段階は恋するということはないしストライプ状でない」ということは間違いである fact10: 仮にこの活性段階が赤っぽいとすれば感ずる fact11: もしもこの活性段階が練れるということはないならそれは捕まえ易いししかもそれは赤っぽい fact12: 「この活性段階は繋がり易くなくておまけにそれはストライプ状でない」ということは嘘だ fact13: この社交場は瓦溜まりだ fact14: 「この社交場は繋がり易くないけど恋する」ということは事実と異なる fact15: この資本主義社会が赤っぽくないしそれに感ぜないとしたらそれは振れる fact16: この社交場はストライプ状であるかもしくはそれは恋するかもしくは両方ともだ fact17: 仮に「「あるものは駆け寄るけれど振れない」ということは確かだ」ということは成り立たないとすると駆け寄るということはない fact18: もしもこの活性段階がストライプ状であるとすればあの社交場は懐かしい
fact2 & fact12 -> int1: この社交場は懐かしい; int1 -> hypothesis;
「この社交場は懐かしいか恋する」ということは成り立たない
fact22 -> int2: 仮にこの社交場は駆け寄らないとすれば「懐かしいか恋するか両方ともだ」ということは誤っている; fact20 -> int3: もし「この社交場は駆け寄る一方で振れない」ということは事実と異なるとしたら駆け寄らない;
$facts$ = fact1: もし仮に「この活性段階は恋しなくて懐かしくない」ということは間違いだとしたらこの社交場は繋がり易い fact2: 仮に「この活性段階は繋がり易くなくてストライプ状でない」ということは間違っているならばあの社交場は懐かしい fact3: もし何かは駆け寄らないとすると「それは懐かしいかあるいは恋するかまたは両方ともだ」ということは事実と異なる fact4: 「「この活性段階は懐かしくないしそれはストライプ状でない」ということは成り立たない」ということは成り立つ fact5: 「この活性段階は恋しないし更に繋がり易いということはない」ということは成り立つということはない fact6: 「この活性段階は繋がり易くない一方でストライプ状である」ということは成り立たない fact7: この活性段階は恋する fact8: 「この供養はクレジット・サラ金業者であるということはないけれどストライプ状である」ということは成り立たない fact9: 「この活性段階は恋するということはないしストライプ状でない」ということは間違いである fact10: 仮にこの活性段階が赤っぽいとすれば感ずる fact11: もしもこの活性段階が練れるということはないならそれは捕まえ易いししかもそれは赤っぽい fact12: 「この活性段階は繋がり易くなくておまけにそれはストライプ状でない」ということは嘘だ fact13: この社交場は瓦溜まりだ fact14: 「この社交場は繋がり易くないけど恋する」ということは事実と異なる fact15: この資本主義社会が赤っぽくないしそれに感ぜないとしたらそれは振れる fact16: この社交場はストライプ状であるかもしくはそれは恋するかもしくは両方ともだ fact17: 仮に「「あるものは駆け寄るけれど振れない」ということは確かだ」ということは成り立たないとすると駆け寄るということはない fact18: もしもこの活性段階がストライプ状であるとすればあの社交場は懐かしい ; $hypothesis$ = 「この社交場は懐かしいかあるいはそれは恋するかまたはどちらもである」ということは事実と異なる ; $proof$ = 
fact2 & fact12 -> int1: この社交場は懐かしい; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「この活性段階は恋しなくて懐かしくない」ということは間違いだとしたらこの社交場は繋がり易い
事実2: 仮に「この活性段階は繋がり易くなくてストライプ状でない」ということは間違っているならばあの社交場は懐かしい
事実3: もし何かは駆け寄らないとすると「それは懐かしいかあるいは恋するかまたは両方ともだ」ということは事実と異なる
事実4: 「「この活性段階は懐かしくないしそれはストライプ状でない」ということは成り立たない」ということは成り立つ
事実5: 「この活性段階は恋しないし更に繋がり易いということはない」ということは成り立つということはない
事実6: 「この活性段階は繋がり易くない一方でストライプ状である」ということは成り立たない
事実7: この活性段階は恋する
事実8: 「この供養はクレジット・サラ金業者であるということはないけれどストライプ状である」ということは成り立たない
事実9: 「この活性段階は恋するということはないしストライプ状でない」ということは間違いである
事実10: 仮にこの活性段階が赤っぽいとすれば感ずる
事実11: もしもこの活性段階が練れるということはないならそれは捕まえ易いししかもそれは赤っぽい
事実12: 「この活性段階は繋がり易くなくておまけにそれはストライプ状でない」ということは嘘だ
事実13: この社交場は瓦溜まりだ
事実14: 「この社交場は繋がり易くないけど恋する」ということは事実と異なる
事実15: この資本主義社会が赤っぽくないしそれに感ぜないとしたらそれは振れる
事実16: この社交場はストライプ状であるかもしくはそれは恋するかもしくは両方ともだ
事実17: 仮に「「あるものは駆け寄るけれど振れない」ということは確かだ」ということは成り立たないとすると駆け寄るということはない
事実18: もしもこの活性段階がストライプ状であるとすればあの社交場は懐かしい

仮説: 「この社交場は懐かしいかあるいはそれは恋するかまたはどちらもである」ということは事実と異なる
1. 事実2と事実12から、推論1: "この社交場は懐かしい"が導かれる
2. 推論1から、仮説が否定される

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