そのランプシェードはインタフェースコレクションでない
fact1: 何らかのものが引っ越しするとしたら危うし fact2: もしこの住宅・都市整備公団が据え切るとすればこのエシャロットゥは植物質でない fact3: 仮に「この天使達は分かり辛い」ということは偽でないとするとそれは引っ越しする fact4: その懲戒処分は分別する fact5: もしとあるものが転倒するかあるいは据え切らないなら「それは据え切らない」ということは真実だ fact6: 仮にこの天使達は感覚出来るしまた危うしなら「そのランプシェードはインタフェースコレクションであるということはない」ということは成り立つ fact7: あの日向夏蜜柑は分別する fact8: もし仮にそのランプシェードが植物質だとするとこのエシャロットゥはインタフェースコレクションでない fact9: もしもこのエシャロットゥが図々しいならこの天使達は分かり辛い fact10: この天使達は食味テストする fact11: この天使達は生み落とすしまた感覚出来る fact12: 植物質は転倒するかあるいは据え切るということはないかあるいはどちらもである fact13: 「その懲戒処分は分別する」ということは正しいとしたらこの住宅・都市整備公団は据え切る fact14: もしもその懲戒処分が据え切るということはないとするとそのランプシェードは分別するしインタフェースコレクションだ fact15: 仮にこのエシャロットゥは植物質でないならばそれは転倒するか図々しい fact16: このエシャロットゥが転倒するならこの天使達は分かり辛い
fact13 & fact4 -> int1: この住宅・都市整備公団は据え切る; int1 & fact2 -> int2: このエシャロットゥは植物質でない; int2 & fact15 -> int3: このエシャロットゥは転倒するかもしくは図々しい; int3 & fact16 & fact9 -> int4: この天使達は分かり辛い; int4 & fact3 -> int5: この天使達は引っ越しする; fact1 -> int6: 仮にこの天使達が引っ越しするとすればそれは危うし; int5 & int6 -> int7: この天使達は危うし; fact11 -> int8: 「この天使達は感覚出来る」ということは確かだ; int7 & int8 -> int9: この天使達は感覚出来るしおまけに危うし; int9 & fact6 -> hypothesis;
そのランプシェードはインタフェースコレクションである
fact19 -> int10: もしその懲戒処分が転倒するかもしくは据え切らないかもしくは両方ならばそれは据え切らない; fact18 -> int11: 「もしその懲戒処分が植物質だとするとその懲戒処分は転倒するかもしくはそれは据え切るということはないか両方である」ということは正しい;
$facts$ = fact1: 何らかのものが引っ越しするとしたら危うし fact2: もしこの住宅・都市整備公団が据え切るとすればこのエシャロットゥは植物質でない fact3: 仮に「この天使達は分かり辛い」ということは偽でないとするとそれは引っ越しする fact4: その懲戒処分は分別する fact5: もしとあるものが転倒するかあるいは据え切らないなら「それは据え切らない」ということは真実だ fact6: 仮にこの天使達は感覚出来るしまた危うしなら「そのランプシェードはインタフェースコレクションであるということはない」ということは成り立つ fact7: あの日向夏蜜柑は分別する fact8: もし仮にそのランプシェードが植物質だとするとこのエシャロットゥはインタフェースコレクションでない fact9: もしもこのエシャロットゥが図々しいならこの天使達は分かり辛い fact10: この天使達は食味テストする fact11: この天使達は生み落とすしまた感覚出来る fact12: 植物質は転倒するかあるいは据え切るということはないかあるいはどちらもである fact13: 「その懲戒処分は分別する」ということは正しいとしたらこの住宅・都市整備公団は据え切る fact14: もしもその懲戒処分が据え切るということはないとするとそのランプシェードは分別するしインタフェースコレクションだ fact15: 仮にこのエシャロットゥは植物質でないならばそれは転倒するか図々しい fact16: このエシャロットゥが転倒するならこの天使達は分かり辛い ; $hypothesis$ = そのランプシェードはインタフェースコレクションでない ; $proof$ = 
fact13 & fact4 -> int1: この住宅・都市整備公団は据え切る; int1 & fact2 -> int2: このエシャロットゥは植物質でない; int2 & fact15 -> int3: このエシャロットゥは転倒するかもしくは図々しい; int3 & fact16 & fact9 -> int4: この天使達は分かり辛い; int4 & fact3 -> int5: この天使達は引っ越しする; fact1 -> int6: 仮にこの天使達が引っ越しするとすればそれは危うし; int5 & int6 -> int7: この天使達は危うし; fact11 -> int8: 「この天使達は感覚出来る」ということは確かだ; int7 & int8 -> int9: この天使達は感覚出来るしおまけに危うし; int9 & fact6 -> hypothesis; __PROVED__
事実1: 何らかのものが引っ越しするとしたら危うし
事実2: もしこの住宅・都市整備公団が据え切るとすればこのエシャロットゥは植物質でない
事実3: 仮に「この天使達は分かり辛い」ということは偽でないとするとそれは引っ越しする
事実4: その懲戒処分は分別する
事実5: もしとあるものが転倒するかあるいは据え切らないなら「それは据え切らない」ということは真実だ
事実6: 仮にこの天使達は感覚出来るしまた危うしなら「そのランプシェードはインタフェースコレクションであるということはない」ということは成り立つ
事実7: あの日向夏蜜柑は分別する
事実8: もし仮にそのランプシェードが植物質だとするとこのエシャロットゥはインタフェースコレクションでない
事実9: もしもこのエシャロットゥが図々しいならこの天使達は分かり辛い
事実10: この天使達は食味テストする
事実11: この天使達は生み落とすしまた感覚出来る
事実12: 植物質は転倒するかあるいは据え切るということはないかあるいはどちらもである
事実13: 「その懲戒処分は分別する」ということは正しいとしたらこの住宅・都市整備公団は据え切る
事実14: もしもその懲戒処分が据え切るということはないとするとそのランプシェードは分別するしインタフェースコレクションだ
事実15: 仮にこのエシャロットゥは植物質でないならばそれは転倒するか図々しい
事実16: このエシャロットゥが転倒するならこの天使達は分かり辛い

仮説: そのランプシェードはインタフェースコレクションでない
1. 事実13と事実4から、推論1: "この住宅・都市整備公団は据え切る"が導かれる
2. 推論1と事実2から、推論2: "このエシャロットゥは植物質でない"が導かれる
3. 推論2と事実15から、推論3: "このエシャロットゥは転倒するかもしくは図々しい"が導かれる
4. 推論3と事実16と事実9から、推論4: "この天使達は分かり辛い"が導かれる
5. 推論4と事実3から、推論5: "この天使達は引っ越しする"が導かれる
6. 事実1から、推論6: "仮にこの天使達が引っ越しするとすればそれは危うし"が導かれる
7. 推論5と推論6から、推論7: "この天使達は危うし"が導かれる
8. 事実11から、推論8: "「この天使達は感覚出来る」ということは確かだ"が導かれる
9. 推論7と推論8から、推論9: "この天使達は感覚出来るしおまけに危うし"が導かれる
10. 推論9と事実6から、仮説が導かれる

よって、仮説が証明されました。