この路線価方式は飽きっぽくなくてかつそれは引き加減でない
fact1: もしもなにかはコントロール性だとすると「それは飽きっぽくないしそれは引き加減でない」ということは成り立たない fact2: 御悪いということはないものは引き加減であるということはない fact3: この路線価方式は町並み作りである fact4: この診断薬は引き加減でない fact5: 仮にこの路線価方式が飽きっぽくないならそれは御悪くなくて加えてそれはコントロール性であるということはない fact6: もし仮にこの乗船証がコントロール性であるかあるいは町並み作りであるかまたは両方だとするとこの路線価方式は御悪くない fact7: この路線価方式は引き加減でない fact8: この路線価方式は再建手術である fact9: もし仮にこの路線価方式が御悪いということはないとしたらそれは引き加減でない fact10: もしもなにがしかのものが相続しないならそれは可笑しさでないしその上高粱でない fact11: この乗船証は町並み作りだ fact12: もしも「この乗船証は御悪くない」ということは偽でないとすればこの路線価方式は町並み作りであるししかもコントロール性だ fact13: もしこの乗船証が引き加減であるかまたはそれは飽きっぽいかあるいは両方だとしたら「この路線価方式は御悪い」ということは成り立たない fact14: 御悪くないものは飽きっぽいということはないしまた引き加減だということはない
fact11 -> int1: この乗船証はコントロール性であるかまたは町並み作りであるかまたはどちらもである; int1 & fact6 -> int2: この路線価方式は御悪くない; fact14 -> int3: もしこの路線価方式が御悪くないとすると飽きっぽくないし更に引き加減でない; int2 & int3 -> hypothesis;
fact11 -> int1: ({A}{a} v {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; fact14 -> int3: ¬{C}{b} -> (¬{E}{b} & ¬{D}{b}); int2 & int3 -> hypothesis;
「この路線価方式は飽きっぽくないし更に引き加減でない」ということは成り立たない
fact15 -> int4: もしこの路線価方式はコントロール性だとすると「「飽きっぽくないし更に引き加減でない」ということは真実である」ということは嘘だ;
$facts$ = fact1: もしもなにかはコントロール性だとすると「それは飽きっぽくないしそれは引き加減でない」ということは成り立たない fact2: 御悪いということはないものは引き加減であるということはない fact3: この路線価方式は町並み作りである fact4: この診断薬は引き加減でない fact5: 仮にこの路線価方式が飽きっぽくないならそれは御悪くなくて加えてそれはコントロール性であるということはない fact6: もし仮にこの乗船証がコントロール性であるかあるいは町並み作りであるかまたは両方だとするとこの路線価方式は御悪くない fact7: この路線価方式は引き加減でない fact8: この路線価方式は再建手術である fact9: もし仮にこの路線価方式が御悪いということはないとしたらそれは引き加減でない fact10: もしもなにがしかのものが相続しないならそれは可笑しさでないしその上高粱でない fact11: この乗船証は町並み作りだ fact12: もしも「この乗船証は御悪くない」ということは偽でないとすればこの路線価方式は町並み作りであるししかもコントロール性だ fact13: もしこの乗船証が引き加減であるかまたはそれは飽きっぽいかあるいは両方だとしたら「この路線価方式は御悪い」ということは成り立たない fact14: 御悪くないものは飽きっぽいということはないしまた引き加減だということはない ; $hypothesis$ = この路線価方式は飽きっぽくなくてかつそれは引き加減でない ; $proof$ = 
fact11 -> int1: この乗船証はコントロール性であるかまたは町並み作りであるかまたはどちらもである; int1 & fact6 -> int2: この路線価方式は御悪くない; fact14 -> int3: もしこの路線価方式が御悪くないとすると飽きっぽくないし更に引き加減でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもなにかはコントロール性だとすると「それは飽きっぽくないしそれは引き加減でない」ということは成り立たない
事実2: 御悪いということはないものは引き加減であるということはない
事実3: この路線価方式は町並み作りである
事実4: この診断薬は引き加減でない
事実5: 仮にこの路線価方式が飽きっぽくないならそれは御悪くなくて加えてそれはコントロール性であるということはない
事実6: もし仮にこの乗船証がコントロール性であるかあるいは町並み作りであるかまたは両方だとするとこの路線価方式は御悪くない
事実7: この路線価方式は引き加減でない
事実8: この路線価方式は再建手術である
事実9: もし仮にこの路線価方式が御悪いということはないとしたらそれは引き加減でない
事実10: もしもなにがしかのものが相続しないならそれは可笑しさでないしその上高粱でない
事実11: この乗船証は町並み作りだ
事実12: もしも「この乗船証は御悪くない」ということは偽でないとすればこの路線価方式は町並み作りであるししかもコントロール性だ
事実13: もしこの乗船証が引き加減であるかまたはそれは飽きっぽいかあるいは両方だとしたら「この路線価方式は御悪い」ということは成り立たない
事実14: 御悪くないものは飽きっぽいということはないしまた引き加減だということはない

仮説: この路線価方式は飽きっぽくなくてかつそれは引き加減でない
1. 事実11から、推論1: "この乗船証はコントロール性であるかまたは町並み作りであるかまたはどちらもである"が導かれる
2. 推論1と事実6から、推論2: "この路線価方式は御悪くない"が導かれる
3. 事実14から、推論3: "もしこの路線価方式が御悪くないとすると飽きっぽくないし更に引き加減でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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