あのスルーは複写しない
fact1: もし仮にこの制限能力が専従するとしたらこの追儺は野暮ったくない fact2: この追儺が専従するとしたらそれは見ない fact3: 「この追儺は役らしくない一方で専従する」ということは偽である fact4: この制限能力は叩き出す fact5: もしもこの制限能力が見るとするとその南無阿弥陀仏はラベンダー色である fact6: この適正濃度部分が複写するとしたらあのスルーは叩き出す fact7: もしもこの追儺が叩き出すとすればあの適正濃度部分は見る fact8: もしこの追儺が見ないとしたらこの制限能力は野暮ったいかまたは見るかもしくは両方ともである fact9: もしも「この追儺は役らしいということはないし専従しない」ということは本当でないなら「それは見ない」ということは事実だ fact10: もしその南無阿弥陀仏がラベンダー色であるかあるいは褒め上げるかあるいは両方ともであるならばあのスルーは複写しない fact11: もしこの制限能力が野暮ったいならばその南無阿弥陀仏はラベンダー色である fact12: この適正濃度部分は人懐っこいしさらにそれは叩き出す fact13: もし仮になにかは人懐っこくないとすれば「徳川譜代でなくて褒め上げない」ということは間違っている fact14: 「この適正濃度部分は専従するということはないけど人懐っこい」ということは成り立たない fact15: この制限能力は意味無しでない fact16: 仮になにがしかの物が見るということはないならば役らしいしその上それは専従する fact17: もしもこの適正濃度部分は叩き出すとすれば「この追儺は役らしくないししかも専従しない」ということは事実と異なる fact18: もしこの追儺が褒め上げるとすればその南無阿弥陀仏は見る fact19: 「あのスルーは人懐っこくないし加えてそれは複写しない」ということは間違いである fact20: もしも「この適正濃度部分はラベンダー色でなくてその上野暮ったいということはない」ということは成り立つということはないならそれは見ない fact21: もしもこの適正濃度部分は叩き出すなら「この追儺は役らしくないけどそれは専従する」ということは偽だ fact22: この適正濃度部分が人懐っこくないけど叩き出すとしたらその南無阿弥陀仏は人懐っこくない fact23: もしあのスルーが見るかあるいはそれが野暮ったいかもしくは両方ともであるとすればこの制限能力は複写しない fact24: この適正濃度部分は見る
fact12 -> int1: この適正濃度部分は叩き出す; int1 & fact17 -> int2: 「この追儺は役らしくないし専従しない」ということは成り立たない; int2 & fact9 -> int3: 「この追儺は見ない」ということは成り立つ; int3 & fact8 -> int4: この制限能力は野暮ったいかまたはそれは見るかもしくは両方だ; int4 & fact11 & fact5 -> int5: その南無阿弥陀仏はラベンダー色だ; int5 -> int6: その南無阿弥陀仏はラベンダー色であるかもしくは褒め上げるかまたはどちらもである; int6 & fact10 -> hypothesis;
「「その南無阿弥陀仏は徳川譜代でないし褒め上げない」ということは間違いだ」ということは確かだ
fact28 -> int7: もしもその南無阿弥陀仏は人懐っこくないとすると「それは徳川譜代でないしそれに褒め上げない」ということは事実と異なる; fact25 -> int8: もしこの適正濃度部分が見ないとすると役らしいし更に専従する;
$facts$ = fact1: もし仮にこの制限能力が専従するとしたらこの追儺は野暮ったくない fact2: この追儺が専従するとしたらそれは見ない fact3: 「この追儺は役らしくない一方で専従する」ということは偽である fact4: この制限能力は叩き出す fact5: もしもこの制限能力が見るとするとその南無阿弥陀仏はラベンダー色である fact6: この適正濃度部分が複写するとしたらあのスルーは叩き出す fact7: もしもこの追儺が叩き出すとすればあの適正濃度部分は見る fact8: もしこの追儺が見ないとしたらこの制限能力は野暮ったいかまたは見るかもしくは両方ともである fact9: もしも「この追儺は役らしいということはないし専従しない」ということは本当でないなら「それは見ない」ということは事実だ fact10: もしその南無阿弥陀仏がラベンダー色であるかあるいは褒め上げるかあるいは両方ともであるならばあのスルーは複写しない fact11: もしこの制限能力が野暮ったいならばその南無阿弥陀仏はラベンダー色である fact12: この適正濃度部分は人懐っこいしさらにそれは叩き出す fact13: もし仮になにかは人懐っこくないとすれば「徳川譜代でなくて褒め上げない」ということは間違っている fact14: 「この適正濃度部分は専従するということはないけど人懐っこい」ということは成り立たない fact15: この制限能力は意味無しでない fact16: 仮になにがしかの物が見るということはないならば役らしいしその上それは専従する fact17: もしもこの適正濃度部分は叩き出すとすれば「この追儺は役らしくないししかも専従しない」ということは事実と異なる fact18: もしこの追儺が褒め上げるとすればその南無阿弥陀仏は見る fact19: 「あのスルーは人懐っこくないし加えてそれは複写しない」ということは間違いである fact20: もしも「この適正濃度部分はラベンダー色でなくてその上野暮ったいということはない」ということは成り立つということはないならそれは見ない fact21: もしもこの適正濃度部分は叩き出すなら「この追儺は役らしくないけどそれは専従する」ということは偽だ fact22: この適正濃度部分が人懐っこくないけど叩き出すとしたらその南無阿弥陀仏は人懐っこくない fact23: もしあのスルーが見るかあるいはそれが野暮ったいかもしくは両方ともであるとすればこの制限能力は複写しない fact24: この適正濃度部分は見る ; $hypothesis$ = あのスルーは複写しない ; $proof$ = 
fact12 -> int1: この適正濃度部分は叩き出す; int1 & fact17 -> int2: 「この追儺は役らしくないし専従しない」ということは成り立たない; int2 & fact9 -> int3: 「この追儺は見ない」ということは成り立つ; int3 & fact8 -> int4: この制限能力は野暮ったいかまたはそれは見るかもしくは両方だ; int4 & fact11 & fact5 -> int5: その南無阿弥陀仏はラベンダー色だ; int5 -> int6: その南無阿弥陀仏はラベンダー色であるかもしくは褒め上げるかまたはどちらもである; int6 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にこの制限能力が専従するとしたらこの追儺は野暮ったくない
事実2: この追儺が専従するとしたらそれは見ない
事実3: 「この追儺は役らしくない一方で専従する」ということは偽である
事実4: この制限能力は叩き出す
事実5: もしもこの制限能力が見るとするとその南無阿弥陀仏はラベンダー色である
事実6: この適正濃度部分が複写するとしたらあのスルーは叩き出す
事実7: もしもこの追儺が叩き出すとすればあの適正濃度部分は見る
事実8: もしこの追儺が見ないとしたらこの制限能力は野暮ったいかまたは見るかもしくは両方ともである
事実9: もしも「この追儺は役らしいということはないし専従しない」ということは本当でないなら「それは見ない」ということは事実だ
事実10: もしその南無阿弥陀仏がラベンダー色であるかあるいは褒め上げるかあるいは両方ともであるならばあのスルーは複写しない
事実11: もしこの制限能力が野暮ったいならばその南無阿弥陀仏はラベンダー色である
事実12: この適正濃度部分は人懐っこいしさらにそれは叩き出す
事実13: もし仮になにかは人懐っこくないとすれば「徳川譜代でなくて褒め上げない」ということは間違っている
事実14: 「この適正濃度部分は専従するということはないけど人懐っこい」ということは成り立たない
事実15: この制限能力は意味無しでない
事実16: 仮になにがしかの物が見るということはないならば役らしいしその上それは専従する
事実17: もしもこの適正濃度部分は叩き出すとすれば「この追儺は役らしくないししかも専従しない」ということは事実と異なる
事実18: もしこの追儺が褒め上げるとすればその南無阿弥陀仏は見る
事実19: 「あのスルーは人懐っこくないし加えてそれは複写しない」ということは間違いである
事実20: もしも「この適正濃度部分はラベンダー色でなくてその上野暮ったいということはない」ということは成り立つということはないならそれは見ない
事実21: もしもこの適正濃度部分は叩き出すなら「この追儺は役らしくないけどそれは専従する」ということは偽だ
事実22: この適正濃度部分が人懐っこくないけど叩き出すとしたらその南無阿弥陀仏は人懐っこくない
事実23: もしあのスルーが見るかあるいはそれが野暮ったいかもしくは両方ともであるとすればこの制限能力は複写しない
事実24: この適正濃度部分は見る

仮説: あのスルーは複写しない
1. 事実12から、推論1: "この適正濃度部分は叩き出す"が導かれる
2. 推論1と事実17から、推論2: "「この追儺は役らしくないし専従しない」ということは成り立たない"が導かれる
3. 推論2と事実9から、推論3: "「この追儺は見ない」ということは成り立つ"が導かれる
4. 推論3と事実8から、推論4: "この制限能力は野暮ったいかまたはそれは見るかもしくは両方だ"が導かれる
5. 推論4と事実11と事実5から、推論5: "その南無阿弥陀仏はラベンダー色だ"が導かれる
6. 推論5から、推論6: "その南無阿弥陀仏はラベンダー色であるかもしくは褒め上げるかまたはどちらもである"が導かれる
7. 推論6と事実10から、仮説が導かれる

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