あの料金所は芸術活動だ
fact1: 「「一元管理しないが小妖精である」ということは成り立たない」物はある fact2: あのレコード数が心強くないとすれば生成し易い fact3: もし仮に「芸術活動な」ものがあればあの料金所は心強い fact4: あのレコード数は心強くない fact5: もしとあるものは心強いならば「見苦しくなくてまた浄化出来ない」ということは偽である fact6: あのレコード数が生成し易くて計略だとしたらあの料金所は芸術活動でない fact7: もしあの料金所が計略で芸術活動だとすればあのレコード数は心強いということはない fact8: もしも「「計略でないししかも芸術活動でない」ということは間違いである」物があるとすればあの料金所は心強い fact9: あの料金所は現実的時間である fact10: 「「心強いがしかし芸術活動でない」ということは間違っている」物はある fact11: 「「一元管理するということはないしかつ小妖精でない」ということは成り立たない」物はある fact12: 何らかの物は一元管理しないしおまけに小妖精でない fact13: このスリーカットは生成し易い fact14: 「「一元管理しないし更に小妖精でない」ということは成り立たない」物があるならばあのレコード数は計略である fact15: もし何かは一元管理するとすればあのレコード数は計略である fact16: 「「心強くないしその上生成し易いない」ということは真実でない」ものはある
fact2 & fact4 -> int1: あのレコード数は生成し易い; fact11 & fact14 -> int2: あのレコード数は計略である; int1 & int2 -> int3: あのレコード数は生成し易いし計略である; int3 & fact6 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; fact11 & fact14 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact6 -> hypothesis;
「「見苦しくなくて浄化出来ない」ということは嘘な」物はある
fact17 -> int4: 仮にあのレコード数は心強いとすると「それは見苦しくなくて更に浄化出来ない」ということは嘘である;
$facts$ = fact1: 「「一元管理しないが小妖精である」ということは成り立たない」物はある fact2: あのレコード数が心強くないとすれば生成し易い fact3: もし仮に「芸術活動な」ものがあればあの料金所は心強い fact4: あのレコード数は心強くない fact5: もしとあるものは心強いならば「見苦しくなくてまた浄化出来ない」ということは偽である fact6: あのレコード数が生成し易くて計略だとしたらあの料金所は芸術活動でない fact7: もしあの料金所が計略で芸術活動だとすればあのレコード数は心強いということはない fact8: もしも「「計略でないししかも芸術活動でない」ということは間違いである」物があるとすればあの料金所は心強い fact9: あの料金所は現実的時間である fact10: 「「心強いがしかし芸術活動でない」ということは間違っている」物はある fact11: 「「一元管理するということはないしかつ小妖精でない」ということは成り立たない」物はある fact12: 何らかの物は一元管理しないしおまけに小妖精でない fact13: このスリーカットは生成し易い fact14: 「「一元管理しないし更に小妖精でない」ということは成り立たない」物があるならばあのレコード数は計略である fact15: もし何かは一元管理するとすればあのレコード数は計略である fact16: 「「心強くないしその上生成し易いない」ということは真実でない」ものはある ; $hypothesis$ = あの料金所は芸術活動だ ; $proof$ = 
fact2 & fact4 -> int1: あのレコード数は生成し易い; fact11 & fact14 -> int2: あのレコード数は計略である; int1 & int2 -> int3: あのレコード数は生成し易いし計略である; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「一元管理しないが小妖精である」ということは成り立たない」物はある
事実2: あのレコード数が心強くないとすれば生成し易い
事実3: もし仮に「芸術活動な」ものがあればあの料金所は心強い
事実4: あのレコード数は心強くない
事実5: もしとあるものは心強いならば「見苦しくなくてまた浄化出来ない」ということは偽である
事実6: あのレコード数が生成し易くて計略だとしたらあの料金所は芸術活動でない
事実7: もしあの料金所が計略で芸術活動だとすればあのレコード数は心強いということはない
事実8: もしも「「計略でないししかも芸術活動でない」ということは間違いである」物があるとすればあの料金所は心強い
事実9: あの料金所は現実的時間である
事実10: 「「心強いがしかし芸術活動でない」ということは間違っている」物はある
事実11: 「「一元管理するということはないしかつ小妖精でない」ということは成り立たない」物はある
事実12: 何らかの物は一元管理しないしおまけに小妖精でない
事実13: このスリーカットは生成し易い
事実14: 「「一元管理しないし更に小妖精でない」ということは成り立たない」物があるならばあのレコード数は計略である
事実15: もし何かは一元管理するとすればあのレコード数は計略である
事実16: 「「心強くないしその上生成し易いない」ということは真実でない」ものはある

仮説: あの料金所は芸術活動だ
1. 事実2と事実4から、推論1: "あのレコード数は生成し易い"が導かれる
2. 事実11と事実14から、推論2: "あのレコード数は計略である"が導かれる
3. 推論1と推論2から、推論3: "あのレコード数は生成し易いし計略である"が導かれる
4. 推論3と事実6から、仮説が否定される

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