このネイルバーは泥濘むがしかし顕在化し易くない
fact1: 仮にその巻き尺が改宗するとしたら激しい fact2: もし仮に「あの一派は手厳しいが激しいということはない」ということは間違いだとしたらその仕事一辺倒は激しい fact3: 「その仕事一辺倒は大規模災害であるが手厳しくない」ということは成り立たないならばこのネイルバーは顕在化し易くない fact4: 仮に何かは手厳しくないとすればそれは厳ついしさらにそれは激しい fact5: もし「その仕事一辺倒は激しい」ということは事実と異ならないとすると「「このネイルバーは泥濘むけれどそれは顕在化し易くない」ということは間違いだ」ということは本当だ fact6: もしもとある物がスタンプツールでない一方で窶すならそれは手厳しいということはない fact7: あの一派は厳つかないとすると「このネイルバーは泥濘むしその上後悔し始める」ということは正しい fact8: ある物がスタンプツールだということはないしさらに窶さないとしたら手厳しくない fact9: 何らかのものが変位するということはないならそれは改宗するしおまけに厳つい fact10: 仮にその仕事一辺倒が手厳しいとするとそれは後悔し始める fact11: 「なんらかのものは激しい」ということは本当だとすればスタンプツールでないしそれに窶さない fact12: もしもその巻き尺は手厳しくないなら「その仕事一辺倒は大規模災害だがしかしそれは手厳しくない」ということは成り立つということはない fact13: あの一派は厳つかない fact14: もしとあるものが改宗するとすればそれは後悔し始めないかまたは大規模災害でないかどちらもだ fact15: その巻き尺は改宗する fact16: 仮にあるものは大規模災害であるとしたら「手厳しいしまたそれは激しいということはない」ということは本当でない fact17: もし仮にその十万以上が溢れるしおまけに変位するとするとそのエンティティは変位しない fact18: その印旛沼西岸地域は改宗する
fact11 -> int1: その巻き尺が激しいならばスタンプツールでないしさらに窶さない; fact15 & fact1 -> int2: その巻き尺は激しい; int1 & int2 -> int3: その巻き尺はスタンプツールであるということはないしまたそれは窶さない; fact8 -> int4: 仮にその巻き尺がスタンプツールでないしそれが窶さないとすればそれは手厳しくない; int3 & int4 -> int5: その巻き尺は手厳しくない; int5 & fact12 -> int6: 「その仕事一辺倒は大規模災害である一方で手厳しくない」ということは成り立たない; int6 & fact3 -> int7: このネイルバーは顕在化し易くない; fact7 & fact13 -> int8: このネイルバーは泥濘むしおまけにそれは後悔し始める; int8 -> int9: 「このネイルバーは泥濘む」ということは真実である; int7 & int9 -> hypothesis;
その仕事一辺倒は厳つい
fact19 -> int10: もしその仕事一辺倒は手厳しくないならば「厳つくて激しい」ということは成り立つ;
$facts$ = fact1: 仮にその巻き尺が改宗するとしたら激しい fact2: もし仮に「あの一派は手厳しいが激しいということはない」ということは間違いだとしたらその仕事一辺倒は激しい fact3: 「その仕事一辺倒は大規模災害であるが手厳しくない」ということは成り立たないならばこのネイルバーは顕在化し易くない fact4: 仮に何かは手厳しくないとすればそれは厳ついしさらにそれは激しい fact5: もし「その仕事一辺倒は激しい」ということは事実と異ならないとすると「「このネイルバーは泥濘むけれどそれは顕在化し易くない」ということは間違いだ」ということは本当だ fact6: もしもとある物がスタンプツールでない一方で窶すならそれは手厳しいということはない fact7: あの一派は厳つかないとすると「このネイルバーは泥濘むしその上後悔し始める」ということは正しい fact8: ある物がスタンプツールだということはないしさらに窶さないとしたら手厳しくない fact9: 何らかのものが変位するということはないならそれは改宗するしおまけに厳つい fact10: 仮にその仕事一辺倒が手厳しいとするとそれは後悔し始める fact11: 「なんらかのものは激しい」ということは本当だとすればスタンプツールでないしそれに窶さない fact12: もしもその巻き尺は手厳しくないなら「その仕事一辺倒は大規模災害だがしかしそれは手厳しくない」ということは成り立つということはない fact13: あの一派は厳つかない fact14: もしとあるものが改宗するとすればそれは後悔し始めないかまたは大規模災害でないかどちらもだ fact15: その巻き尺は改宗する fact16: 仮にあるものは大規模災害であるとしたら「手厳しいしまたそれは激しいということはない」ということは本当でない fact17: もし仮にその十万以上が溢れるしおまけに変位するとするとそのエンティティは変位しない fact18: その印旛沼西岸地域は改宗する ; $hypothesis$ = このネイルバーは泥濘むがしかし顕在化し易くない ; $proof$ = 
fact11 -> int1: その巻き尺が激しいならばスタンプツールでないしさらに窶さない; fact15 & fact1 -> int2: その巻き尺は激しい; int1 & int2 -> int3: その巻き尺はスタンプツールであるということはないしまたそれは窶さない; fact8 -> int4: 仮にその巻き尺がスタンプツールでないしそれが窶さないとすればそれは手厳しくない; int3 & int4 -> int5: その巻き尺は手厳しくない; int5 & fact12 -> int6: 「その仕事一辺倒は大規模災害である一方で手厳しくない」ということは成り立たない; int6 & fact3 -> int7: このネイルバーは顕在化し易くない; fact7 & fact13 -> int8: このネイルバーは泥濘むしおまけにそれは後悔し始める; int8 -> int9: 「このネイルバーは泥濘む」ということは真実である; int7 & int9 -> hypothesis; __PROVED__
事実1: 仮にその巻き尺が改宗するとしたら激しい
事実2: もし仮に「あの一派は手厳しいが激しいということはない」ということは間違いだとしたらその仕事一辺倒は激しい
事実3: 「その仕事一辺倒は大規模災害であるが手厳しくない」ということは成り立たないならばこのネイルバーは顕在化し易くない
事実4: 仮に何かは手厳しくないとすればそれは厳ついしさらにそれは激しい
事実5: もし「その仕事一辺倒は激しい」ということは事実と異ならないとすると「「このネイルバーは泥濘むけれどそれは顕在化し易くない」ということは間違いだ」ということは本当だ
事実6: もしもとある物がスタンプツールでない一方で窶すならそれは手厳しいということはない
事実7: あの一派は厳つかないとすると「このネイルバーは泥濘むしその上後悔し始める」ということは正しい
事実8: ある物がスタンプツールだということはないしさらに窶さないとしたら手厳しくない
事実9: 何らかのものが変位するということはないならそれは改宗するしおまけに厳つい
事実10: 仮にその仕事一辺倒が手厳しいとするとそれは後悔し始める
事実11: 「なんらかのものは激しい」ということは本当だとすればスタンプツールでないしそれに窶さない
事実12: もしもその巻き尺は手厳しくないなら「その仕事一辺倒は大規模災害だがしかしそれは手厳しくない」ということは成り立つということはない
事実13: あの一派は厳つかない
事実14: もしとあるものが改宗するとすればそれは後悔し始めないかまたは大規模災害でないかどちらもだ
事実15: その巻き尺は改宗する
事実16: 仮にあるものは大規模災害であるとしたら「手厳しいしまたそれは激しいということはない」ということは本当でない
事実17: もし仮にその十万以上が溢れるしおまけに変位するとするとそのエンティティは変位しない
事実18: その印旛沼西岸地域は改宗する

仮説: このネイルバーは泥濘むがしかし顕在化し易くない
1. 事実11から、推論1: "その巻き尺が激しいならばスタンプツールでないしさらに窶さない"が導かれる
2. 事実15と事実1から、推論2: "その巻き尺は激しい"が導かれる
3. 推論1と推論2から、推論3: "その巻き尺はスタンプツールであるということはないしまたそれは窶さない"が導かれる
4. 事実8から、推論4: "仮にその巻き尺がスタンプツールでないしそれが窶さないとすればそれは手厳しくない"が導かれる
5. 推論3と推論4から、推論5: "その巻き尺は手厳しくない"が導かれる
6. 推論5と事実12から、推論6: "「その仕事一辺倒は大規模災害である一方で手厳しくない」ということは成り立たない"が導かれる
7. 推論6と事実3から、推論7: "このネイルバーは顕在化し易くない"が導かれる
8. 事実7と事実13から、推論8: "このネイルバーは泥濘むしおまけにそれは後悔し始める"が導かれる
9. 推論8から、推論9: "「このネイルバーは泥濘む」ということは真実である"が導かれる
10. 推論7と推論9から、仮説が導かれる

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