この乗り場は高水準言語だしおまけに擦れる
fact1: もしとあるものが再整備しないとすれば取り難くないしさらに摩擦する fact2: この乗り場は摩擦する fact3: もしもあるものは満天だということはないとすれば「それはにやけるかまたは税抜き経理方式だ」ということは成り立たない fact4: もし仮にその保存登記が取り難くないとしたらこの乗り場は取り難くない fact5: もしも「その保存登記は小気味良くなくてしかも聞き取り易くない」ということは成り立たないとしたら満天でない fact6: 「なにがしかのものはにやけるかそれは税抜き経理方式であるかまたは両方だ」ということは誤りだとしたら再整備しない fact7: この乗り場は摩擦するししかも高水準言語である fact8: もしある物は取り難くないなら「高水準言語であるし加えて擦れる」ということは成り立たない fact9: もしこの乗り場が高水準言語ならばあの保存登記は摩擦する fact10: 「その保存登記は取り難い」ということは真実であるとしたらこの乗り場は擦れる fact11: その保存登記は取り難い
fact10 & fact11 -> int1: 「この乗り場は擦れる」ということは成り立つ; fact7 -> int2: この乗り場は高水準言語である; int1 & int2 -> hypothesis;
「この乗り場は高水準言語だししかも擦れる」ということは成り立つということはない
fact15 -> int3: もし「この乗り場は取り難くない」ということは成り立つとしたら「それは高水準言語であるし加えて擦れる」ということは偽だ; fact17 -> int4: もし仮にその保存登記が再整備しないならばそれは取り難いということはないけど摩擦する; fact16 -> int5: 「「その保存登記はにやけるかあるいは税抜き経理方式であるかまたはどちらもである」ということは成り立たない」ということは正しいならば再整備しない; fact14 -> int6: その保存登記は満天でないとすれば「にやけるかそれは税抜き経理方式である」ということは成り立つということはない;
$facts$ = fact1: もしとあるものが再整備しないとすれば取り難くないしさらに摩擦する fact2: この乗り場は摩擦する fact3: もしもあるものは満天だということはないとすれば「それはにやけるかまたは税抜き経理方式だ」ということは成り立たない fact4: もし仮にその保存登記が取り難くないとしたらこの乗り場は取り難くない fact5: もしも「その保存登記は小気味良くなくてしかも聞き取り易くない」ということは成り立たないとしたら満天でない fact6: 「なにがしかのものはにやけるかそれは税抜き経理方式であるかまたは両方だ」ということは誤りだとしたら再整備しない fact7: この乗り場は摩擦するししかも高水準言語である fact8: もしある物は取り難くないなら「高水準言語であるし加えて擦れる」ということは成り立たない fact9: もしこの乗り場が高水準言語ならばあの保存登記は摩擦する fact10: 「その保存登記は取り難い」ということは真実であるとしたらこの乗り場は擦れる fact11: その保存登記は取り難い ; $hypothesis$ = この乗り場は高水準言語だしおまけに擦れる ; $proof$ = 
fact10 & fact11 -> int1: 「この乗り場は擦れる」ということは成り立つ; fact7 -> int2: この乗り場は高水準言語である; int1 & int2 -> hypothesis; __PROVED__
事実1: もしとあるものが再整備しないとすれば取り難くないしさらに摩擦する
事実2: この乗り場は摩擦する
事実3: もしもあるものは満天だということはないとすれば「それはにやけるかまたは税抜き経理方式だ」ということは成り立たない
事実4: もし仮にその保存登記が取り難くないとしたらこの乗り場は取り難くない
事実5: もしも「その保存登記は小気味良くなくてしかも聞き取り易くない」ということは成り立たないとしたら満天でない
事実6: 「なにがしかのものはにやけるかそれは税抜き経理方式であるかまたは両方だ」ということは誤りだとしたら再整備しない
事実7: この乗り場は摩擦するししかも高水準言語である
事実8: もしある物は取り難くないなら「高水準言語であるし加えて擦れる」ということは成り立たない
事実9: もしこの乗り場が高水準言語ならばあの保存登記は摩擦する
事実10: 「その保存登記は取り難い」ということは真実であるとしたらこの乗り場は擦れる
事実11: その保存登記は取り難い

仮説: この乗り場は高水準言語だしおまけに擦れる
1. 事実10と事実11から、推論1: "「この乗り場は擦れる」ということは成り立つ"が導かれる
2. 事実7から、推論2: "この乗り場は高水準言語である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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