その国内法は扶植する
fact1: その国内法は浅まし fact2: もしこの入国審査は浅ましないならば「この歌唱は浅ましないし更に催眠・鎮静作用でない」ということは正しい fact3: 「なんらかの物は扶植するしかつ偏り易い」ということは事実と異なれば「扶植しない」ということは成り立つ fact4: もしも何らかのものは説明し為さらないとしたら「扶植するしかつ偏り易い」ということは成り立たない fact5: この通信先は催眠・鎮静作用でないとしたらそれは浅ましないし加えて重しない fact6: 「このホスホリパーゼは重しないし浅ましということはない」ということは成り立つ fact7: もしも「ある物はぱらつかないけれどそれは説明し為さる」ということは誤っているとするとそれは説明し為さるということはない fact8: この通信先は説明し為さるし偏り易い fact9: このホスホリパーゼが置き過ぎないとしたらこの入国審査は浅ましない fact10: もしなにがしかのものがぱらつくなら置き過ぎる fact11: この通信先は催眠・鎮静作用でない fact12: もしもこの顔貌が置き過ぎるとすればこのホスホリパーゼは重しないし置き過ぎない fact13: このホスホリパーゼは重しない fact14: もしもこの通信先は偏り易いとすると「この顔貌はぱらつく」ということは成り立つ fact15: もしもこの歌唱が浅ましないしまた催眠・鎮静作用でないとするとその国内法は扶植する fact16: もしもなんらかのものは置き過ぎるとすると「それはぱらつかない一方で説明し為さる」ということは偽である
fact8 -> int1: この通信先は偏り易い; int1 & fact14 -> int2: この顔貌はぱらつく; fact10 -> int3: この顔貌がぱらつくならそれは置き過ぎる; int2 & int3 -> int4: この顔貌は置き過ぎる; int4 & fact12 -> int5: このホスホリパーゼは重しないしかつそれは置き過ぎない; int5 -> int6: このホスホリパーゼは置き過ぎない; int6 & fact9 -> int7: この入国審査は浅ましない; int7 & fact2 -> int8: この歌唱は浅ましないししかも催眠・鎮静作用でない; int8 & fact15 -> hypothesis;
その国内法は扶植しない
fact17 -> int9: もしも「その国内法は扶植するしそれは偏り易い」ということは本当でないとしたら扶植しない; fact21 -> int10: 仮にその国内法は説明し為さらないとすると「それは扶植するししかも偏り易い」ということは成り立たない; fact22 -> int11: 「その国内法はぱらつかないがしかし説明し為さる」ということは間違いならば説明し為さらない; fact19 -> int12: もしその国内法は置き過ぎるとすると「それはぱらつかないけど説明し為さる」ということは成り立たない; fact20 & fact18 -> int13: この通信先は浅ましないしそれは重しということはない; int13 -> int14: 「浅ましないし重しない」物はある;
$facts$ = fact1: その国内法は浅まし fact2: もしこの入国審査は浅ましないならば「この歌唱は浅ましないし更に催眠・鎮静作用でない」ということは正しい fact3: 「なんらかの物は扶植するしかつ偏り易い」ということは事実と異なれば「扶植しない」ということは成り立つ fact4: もしも何らかのものは説明し為さらないとしたら「扶植するしかつ偏り易い」ということは成り立たない fact5: この通信先は催眠・鎮静作用でないとしたらそれは浅ましないし加えて重しない fact6: 「このホスホリパーゼは重しないし浅ましということはない」ということは成り立つ fact7: もしも「ある物はぱらつかないけれどそれは説明し為さる」ということは誤っているとするとそれは説明し為さるということはない fact8: この通信先は説明し為さるし偏り易い fact9: このホスホリパーゼが置き過ぎないとしたらこの入国審査は浅ましない fact10: もしなにがしかのものがぱらつくなら置き過ぎる fact11: この通信先は催眠・鎮静作用でない fact12: もしもこの顔貌が置き過ぎるとすればこのホスホリパーゼは重しないし置き過ぎない fact13: このホスホリパーゼは重しない fact14: もしもこの通信先は偏り易いとすると「この顔貌はぱらつく」ということは成り立つ fact15: もしもこの歌唱が浅ましないしまた催眠・鎮静作用でないとするとその国内法は扶植する fact16: もしもなんらかのものは置き過ぎるとすると「それはぱらつかない一方で説明し為さる」ということは偽である ; $hypothesis$ = その国内法は扶植する ; $proof$ = 
fact8 -> int1: この通信先は偏り易い; int1 & fact14 -> int2: この顔貌はぱらつく; fact10 -> int3: この顔貌がぱらつくならそれは置き過ぎる; int2 & int3 -> int4: この顔貌は置き過ぎる; int4 & fact12 -> int5: このホスホリパーゼは重しないしかつそれは置き過ぎない; int5 -> int6: このホスホリパーゼは置き過ぎない; int6 & fact9 -> int7: この入国審査は浅ましない; int7 & fact2 -> int8: この歌唱は浅ましないししかも催眠・鎮静作用でない; int8 & fact15 -> hypothesis; __PROVED__
事実1: その国内法は浅まし
事実2: もしこの入国審査は浅ましないならば「この歌唱は浅ましないし更に催眠・鎮静作用でない」ということは正しい
事実3: 「なんらかの物は扶植するしかつ偏り易い」ということは事実と異なれば「扶植しない」ということは成り立つ
事実4: もしも何らかのものは説明し為さらないとしたら「扶植するしかつ偏り易い」ということは成り立たない
事実5: この通信先は催眠・鎮静作用でないとしたらそれは浅ましないし加えて重しない
事実6: 「このホスホリパーゼは重しないし浅ましということはない」ということは成り立つ
事実7: もしも「ある物はぱらつかないけれどそれは説明し為さる」ということは誤っているとするとそれは説明し為さるということはない
事実8: この通信先は説明し為さるし偏り易い
事実9: このホスホリパーゼが置き過ぎないとしたらこの入国審査は浅ましない
事実10: もしなにがしかのものがぱらつくなら置き過ぎる
事実11: この通信先は催眠・鎮静作用でない
事実12: もしもこの顔貌が置き過ぎるとすればこのホスホリパーゼは重しないし置き過ぎない
事実13: このホスホリパーゼは重しない
事実14: もしもこの通信先は偏り易いとすると「この顔貌はぱらつく」ということは成り立つ
事実15: もしもこの歌唱が浅ましないしまた催眠・鎮静作用でないとするとその国内法は扶植する
事実16: もしもなんらかのものは置き過ぎるとすると「それはぱらつかない一方で説明し為さる」ということは偽である

仮説: その国内法は扶植する
1. 事実8から、推論1: "この通信先は偏り易い"が導かれる
2. 推論1と事実14から、推論2: "この顔貌はぱらつく"が導かれる
3. 事実10から、推論3: "この顔貌がぱらつくならそれは置き過ぎる"が導かれる
4. 推論2と推論3から、推論4: "この顔貌は置き過ぎる"が導かれる
5. 推論4と事実12から、推論5: "このホスホリパーゼは重しないしかつそれは置き過ぎない"が導かれる
6. 推論5から、推論6: "このホスホリパーゼは置き過ぎない"が導かれる
7. 推論6と事実9から、推論7: "この入国審査は浅ましない"が導かれる
8. 推論7と事実2から、推論8: "この歌唱は浅ましないししかも催眠・鎮静作用でない"が導かれる
9. 推論8と事実15から、仮説が導かれる

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