その室外機は開き易い
fact1: 「この高さ故は得点しないが暗い」ということは嘘である fact2: もし仮に「何かは好ましないしおまけに暗くない」ということは成り立たないとしたら「それは得点する」ということは事実だ fact3: 「この高さ故は好ましないけれどインテリアショップである」ということは偽である fact4: もし仮にその室外機は得点するとすれば「それは開き易い」ということは成り立つ fact5: この高さ故は暗いとすると「その室外機は好ましないししかもそれは要援護者だということはない」ということは事実と異なる fact6: もしその室外機は暗いならば「この高さ故は開き易いということはなくて加えてそれは得点しない」ということは成り立たない fact7: 「そのフィルター濃度は開き易い」ということは確かだ fact8: この高さ故は暗い fact9: 「なんらかの物は好ましないしそれは要援護者でない」ということは成り立たないならば得点する fact10: もしもその室外機は好ましとしたら「「「この高さ故は開き易くない一方で暗い」ということは真実だ」ということは成り立たない」ということは本当である
fact5 & fact8 -> int1: 「その室外機は好ましないししかも要援護者でない」ということは成り立たない; fact9 -> int2: もし仮に「その室外機は好ましないし要援護者でない」ということは間違いだとすると得点する; int1 & int2 -> int3: その室外機は得点する; int3 & fact4 -> hypothesis;
$facts$ = fact1: 「この高さ故は得点しないが暗い」ということは嘘である fact2: もし仮に「何かは好ましないしおまけに暗くない」ということは成り立たないとしたら「それは得点する」ということは事実だ fact3: 「この高さ故は好ましないけれどインテリアショップである」ということは偽である fact4: もし仮にその室外機は得点するとすれば「それは開き易い」ということは成り立つ fact5: この高さ故は暗いとすると「その室外機は好ましないししかもそれは要援護者だということはない」ということは事実と異なる fact6: もしその室外機は暗いならば「この高さ故は開き易いということはなくて加えてそれは得点しない」ということは成り立たない fact7: 「そのフィルター濃度は開き易い」ということは確かだ fact8: この高さ故は暗い fact9: 「なんらかの物は好ましないしそれは要援護者でない」ということは成り立たないならば得点する fact10: もしもその室外機は好ましとしたら「「「この高さ故は開き易くない一方で暗い」ということは真実だ」ということは成り立たない」ということは本当である ; $hypothesis$ = その室外機は開き易い ; $proof$ = 
fact5 & fact8 -> int1: 「その室外機は好ましないししかも要援護者でない」ということは成り立たない; fact9 -> int2: もし仮に「その室外機は好ましないし要援護者でない」ということは間違いだとすると得点する; int1 & int2 -> int3: その室外機は得点する; int3 & fact4 -> hypothesis; __PROVED__
事実1: 「この高さ故は得点しないが暗い」ということは嘘である
事実2: もし仮に「何かは好ましないしおまけに暗くない」ということは成り立たないとしたら「それは得点する」ということは事実だ
事実3: 「この高さ故は好ましないけれどインテリアショップである」ということは偽である
事実4: もし仮にその室外機は得点するとすれば「それは開き易い」ということは成り立つ
事実5: この高さ故は暗いとすると「その室外機は好ましないししかもそれは要援護者だということはない」ということは事実と異なる
事実6: もしその室外機は暗いならば「この高さ故は開き易いということはなくて加えてそれは得点しない」ということは成り立たない
事実7: 「そのフィルター濃度は開き易い」ということは確かだ
事実8: この高さ故は暗い
事実9: 「なんらかの物は好ましないしそれは要援護者でない」ということは成り立たないならば得点する
事実10: もしもその室外機は好ましとしたら「「「この高さ故は開き易くない一方で暗い」ということは真実だ」ということは成り立たない」ということは本当である

仮説: その室外機は開き易い
1. 事実5と事実8から、推論1: "「その室外機は好ましないししかも要援護者でない」ということは成り立たない"が導かれる
2. 事実9から、推論2: "もし仮に「その室外機は好ましないし要援護者でない」ということは間違いだとすると得点する"が導かれる
3. 推論1と推論2から、推論3: "その室外機は得点する"が導かれる
4. 推論3と事実4から、仮説が導かれる

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