このロビイスト達はカーテンウォール構造であるがしかしＢＵＮＫでない
fact1: なにかは海軍塾であるならばそれは撃墜出来ない fact2: そのや子が御し易くないとすればあのロビイスト達は出血し易い fact3: このロビイスト達はカーテンウォール構造だ fact4: もし仮にあるものは薬間でないとしたらそれは海軍塾であるしおまけに変形性変化である fact5: もし仮に「その最終目的地は出血し易いということはない」ということは成り立つなら「このロビイスト達はカーテンウォール構造であるがＢＵＮＫでない」ということは間違いである fact6: もし仮に「なにかは同伴するということはないがしかしメインバンク制だ」ということは嘘であるならば薬間でない fact7: 「出血し易い物はカーテンウォール構造だがＢＵＮＫでない」ということは正しい fact8: もしも「その最終目的地は快諾するかもしくは見苦しいかまたは両方である」ということは成り立たないとするとそのや子は御し易くない fact9: 「その最終目的地は快諾するかあるいはそれは見苦しいかどちらもだ」ということは本当でない fact10: もしもとあるものは撃墜出来ないならば「採掘するが御し易くない」ということは誤っている fact11: もし「そのや子は採掘するけど御し易くない」ということは成り立たないとすればその最終目的地は出血し易くない fact12: 「そのや子は食害しない」ということは正しいとすれば「同伴するということはないけれどメインバンク制だ」ということは成り立たない
fact8 & fact9 -> int1: そのや子は御し易くない; int1 & fact2 -> int2: このロビイスト達は出血し易い; fact7 -> int3: このロビイスト達が出血し易いとするとカーテンウォール構造であるしそれにそれはＢＵＮＫでない; int2 & int3 -> hypothesis;
fact8 & fact9 -> int1: ¬{B}{b}; int1 & fact2 -> int2: {A}{c}; fact7 -> int3: {A}{c} -> ({D}{c} & ¬{C}{c}); int2 & int3 -> hypothesis;
「このロビイスト達はカーテンウォール構造であるがしかしＢＵＮＫでない」ということは事実と異なる
fact15 -> int4: もしそのや子は撃墜出来ないとしたら「採掘するしかつ御し易くない」ということは成り立たない; fact16 -> int5: そのや子が海軍塾ならそれは撃墜出来ない; fact13 -> int6: もし「そのや子は薬間でない」ということは成り立つなら海軍塾だしそれは変形性変化だ; fact18 -> int7: もし「そのや子は同伴しないがメインバンク制だ」ということは間違っているとしたらそれは薬間でない;
$facts$ = fact1: なにかは海軍塾であるならばそれは撃墜出来ない fact2: そのや子が御し易くないとすればあのロビイスト達は出血し易い fact3: このロビイスト達はカーテンウォール構造だ fact4: もし仮にあるものは薬間でないとしたらそれは海軍塾であるしおまけに変形性変化である fact5: もし仮に「その最終目的地は出血し易いということはない」ということは成り立つなら「このロビイスト達はカーテンウォール構造であるがＢＵＮＫでない」ということは間違いである fact6: もし仮に「なにかは同伴するということはないがしかしメインバンク制だ」ということは嘘であるならば薬間でない fact7: 「出血し易い物はカーテンウォール構造だがＢＵＮＫでない」ということは正しい fact8: もしも「その最終目的地は快諾するかもしくは見苦しいかまたは両方である」ということは成り立たないとするとそのや子は御し易くない fact9: 「その最終目的地は快諾するかあるいはそれは見苦しいかどちらもだ」ということは本当でない fact10: もしもとあるものは撃墜出来ないならば「採掘するが御し易くない」ということは誤っている fact11: もし「そのや子は採掘するけど御し易くない」ということは成り立たないとすればその最終目的地は出血し易くない fact12: 「そのや子は食害しない」ということは正しいとすれば「同伴するということはないけれどメインバンク制だ」ということは成り立たない ; $hypothesis$ = このロビイスト達はカーテンウォール構造であるがしかしＢＵＮＫでない ; $proof$ = 
fact8 & fact9 -> int1: そのや子は御し易くない; int1 & fact2 -> int2: このロビイスト達は出血し易い; fact7 -> int3: このロビイスト達が出血し易いとするとカーテンウォール構造であるしそれにそれはＢＵＮＫでない; int2 & int3 -> hypothesis; __PROVED__
事実1: なにかは海軍塾であるならばそれは撃墜出来ない
事実2: そのや子が御し易くないとすればあのロビイスト達は出血し易い
事実3: このロビイスト達はカーテンウォール構造だ
事実4: もし仮にあるものは薬間でないとしたらそれは海軍塾であるしおまけに変形性変化である
事実5: もし仮に「その最終目的地は出血し易いということはない」ということは成り立つなら「このロビイスト達はカーテンウォール構造であるがＢＵＮＫでない」ということは間違いである
事実6: もし仮に「なにかは同伴するということはないがしかしメインバンク制だ」ということは嘘であるならば薬間でない
事実7: 「出血し易い物はカーテンウォール構造だがＢＵＮＫでない」ということは正しい
事実8: もしも「その最終目的地は快諾するかもしくは見苦しいかまたは両方である」ということは成り立たないとするとそのや子は御し易くない
事実9: 「その最終目的地は快諾するかあるいはそれは見苦しいかどちらもだ」ということは本当でない
事実10: もしもとあるものは撃墜出来ないならば「採掘するが御し易くない」ということは誤っている
事実11: もし「そのや子は採掘するけど御し易くない」ということは成り立たないとすればその最終目的地は出血し易くない
事実12: 「そのや子は食害しない」ということは正しいとすれば「同伴するということはないけれどメインバンク制だ」ということは成り立たない

仮説: このロビイスト達はカーテンウォール構造であるがしかしＢＵＮＫでない
1. 事実8と事実9から、推論1: "そのや子は御し易くない"が導かれる
2. 推論1と事実2から、推論2: "このロビイスト達は出血し易い"が導かれる
3. 事実7から、推論3: "このロビイスト達が出血し易いとするとカーテンウォール構造であるしそれにそれはＢＵＮＫでない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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