あのシーリングは乏しくない
fact1: 「成鳥は乏しい」ということは成り立つ fact2: あの効果有りは利する fact3: この卵巣上皮は乏しい fact4: もしあの効果有りはボランティアセンターであるとすれば「「あのシーリングは成鳥でないけれどそれはファイル操作である」ということは成り立たない」ということは事実だ fact5: あの効果有りが利するとするとあのシーリングはとろい fact6: もしもなにがしかのものがとろいならそれは成鳥である fact7: なにがしかの物はとろくないなら「利するしさらに乏しい」ということは成り立たない fact8: 暗しということはないものは叫ぶかもしくはボランティアセンターであるか両方である fact9: もしこの山仕事はＡ株でないとしたらそれは暗しない fact10: 「何かは利するしそれにそれは乏しい」ということは成り立たないとすればそれは乏しいということはない
fact5 & fact2 -> int1: 「あのシーリングはとろい」ということは本当だ; fact6 -> int2: 仮にあのシーリングがとろいとしたら成鳥だ; int1 & int2 -> int3: あのシーリングは成鳥である; fact1 -> int4: もしあのシーリングは成鳥ならば「乏しい」ということは真実だ; int3 & int4 -> hypothesis;
あのシーリングは乏しくない
fact13 -> int5: もしも「あのシーリングは利するしそれに乏しい」ということは確かでないとするとそれは乏しいということはない; fact11 -> int6: もしもあのシーリングはとろくないとすると「それは利するしおまけにそれは乏しい」ということは成り立たない; fact15 -> int7: この山仕事が暗しないとするとそれは叫ぶかもしくはボランティアセンターであるかまたはどちらもだ;
$facts$ = fact1: 「成鳥は乏しい」ということは成り立つ fact2: あの効果有りは利する fact3: この卵巣上皮は乏しい fact4: もしあの効果有りはボランティアセンターであるとすれば「「あのシーリングは成鳥でないけれどそれはファイル操作である」ということは成り立たない」ということは事実だ fact5: あの効果有りが利するとするとあのシーリングはとろい fact6: もしもなにがしかのものがとろいならそれは成鳥である fact7: なにがしかの物はとろくないなら「利するしさらに乏しい」ということは成り立たない fact8: 暗しということはないものは叫ぶかもしくはボランティアセンターであるか両方である fact9: もしこの山仕事はＡ株でないとしたらそれは暗しない fact10: 「何かは利するしそれにそれは乏しい」ということは成り立たないとすればそれは乏しいということはない ; $hypothesis$ = あのシーリングは乏しくない ; $proof$ = 
fact5 & fact2 -> int1: 「あのシーリングはとろい」ということは本当だ; fact6 -> int2: 仮にあのシーリングがとろいとしたら成鳥だ; int1 & int2 -> int3: あのシーリングは成鳥である; fact1 -> int4: もしあのシーリングは成鳥ならば「乏しい」ということは真実だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「成鳥は乏しい」ということは成り立つ
事実2: あの効果有りは利する
事実3: この卵巣上皮は乏しい
事実4: もしあの効果有りはボランティアセンターであるとすれば「「あのシーリングは成鳥でないけれどそれはファイル操作である」ということは成り立たない」ということは事実だ
事実5: あの効果有りが利するとするとあのシーリングはとろい
事実6: もしもなにがしかのものがとろいならそれは成鳥である
事実7: なにがしかの物はとろくないなら「利するしさらに乏しい」ということは成り立たない
事実8: 暗しということはないものは叫ぶかもしくはボランティアセンターであるか両方である
事実9: もしこの山仕事はＡ株でないとしたらそれは暗しない
事実10: 「何かは利するしそれにそれは乏しい」ということは成り立たないとすればそれは乏しいということはない

仮説: あのシーリングは乏しくない
1. 事実5と事実2から、推論1: "「あのシーリングはとろい」ということは本当だ"が導かれる
2. 事実6から、推論2: "仮にあのシーリングがとろいとしたら成鳥だ"が導かれる
3. 推論1と推論2から、推論3: "あのシーリングは成鳥である"が導かれる
4. 事実1から、推論4: "もしあのシーリングは成鳥ならば「乏しい」ということは真実だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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