この戦線は指南する
fact1: 「「利害対立であるか青っぽいかあるいはどちらもである」ということは成り立つということはない」ものはある fact2: 「「指南するかもしくは青っぽくない」ということは成り立たない」物があるとしたらこの戦線は利害対立である fact3: 「そのダイアリードは間違い易いか青っぽくない」ということは嘘だ fact4: 「「青っぽいかもしくは指南するということはないか両方ともだ」ということは事実と異なる」物はある fact5: 「指南するか利害対立でないかどちらもである」物はある fact6: 青っぽいものはある fact7: 仮に「「青っぽいかもしくは利害対立であるということはないかもしくはどちらもである」ということは成り立たない」ものがあるとするとそのデータパレットは指南する fact8: 何かは利害対立であるかもしくは青っぽくない fact9: もしも無い物は信用すらないとしたら「余所余所しい」ということは成り立つ fact10: もし仮にこの戦線は無いなら「「それは余所余所しかないが信用す」ということは成り立つ」ということは誤りである fact11: 「「利害対立であるかもしくは指南しない」ということは成り立たない」物があるとしたらこの戦線は青っぽい fact12: 「利害対立でない」物はある fact13: そのデータパレットは利害対立でない fact14: この戦線は青っぽい fact15: そのデータパレットは指南する fact16: 「「利害対立であるか青っぽくない」ということは間違っている」物があるとしたらそのデータパレットは指南する fact17: 「「指南するか青っぽいということはないかあるいは両方である」ということは正しくない」物はある fact18: もしもとあるものは余所余所しいとすれば「それは指南しない」ということは真実である fact19: この養成所が子音字でないとすればアコースティック・ギターだし緞子だ fact20: もしも「「利害対立であるかあるいは青っぽい」ということは正しくない」ものがあるならばあのデータパレットは指南する fact21: もし仮に「「利害対立であるかもしくは青っぽくないかまたは両方ともである」ということは事実と異なる」物はあるとしたら「この戦線は指南しない」ということは嘘だ fact22: 「そのデータパレットは利害対立であるか青っぽくないか両方ともである」ということは成り立たない
fact22 -> int1: 「「利害対立であるかもしくは青っぽくないかまたはどちらもだ」ということは偽である」物はある; int1 & fact21 -> hypothesis;
fact22 -> int1: (Ex): ¬({AA}x v ¬{AB}x); int1 & fact21 -> hypothesis;
「あの歴史的景観は指南する」ということは成り立つ
$facts$ = fact1: 「「利害対立であるか青っぽいかあるいはどちらもである」ということは成り立つということはない」ものはある fact2: 「「指南するかもしくは青っぽくない」ということは成り立たない」物があるとしたらこの戦線は利害対立である fact3: 「そのダイアリードは間違い易いか青っぽくない」ということは嘘だ fact4: 「「青っぽいかもしくは指南するということはないか両方ともだ」ということは事実と異なる」物はある fact5: 「指南するか利害対立でないかどちらもである」物はある fact6: 青っぽいものはある fact7: 仮に「「青っぽいかもしくは利害対立であるということはないかもしくはどちらもである」ということは成り立たない」ものがあるとするとそのデータパレットは指南する fact8: 何かは利害対立であるかもしくは青っぽくない fact9: もしも無い物は信用すらないとしたら「余所余所しい」ということは成り立つ fact10: もし仮にこの戦線は無いなら「「それは余所余所しかないが信用す」ということは成り立つ」ということは誤りである fact11: 「「利害対立であるかもしくは指南しない」ということは成り立たない」物があるとしたらこの戦線は青っぽい fact12: 「利害対立でない」物はある fact13: そのデータパレットは利害対立でない fact14: この戦線は青っぽい fact15: そのデータパレットは指南する fact16: 「「利害対立であるか青っぽくない」ということは間違っている」物があるとしたらそのデータパレットは指南する fact17: 「「指南するか青っぽいということはないかあるいは両方である」ということは正しくない」物はある fact18: もしもとあるものは余所余所しいとすれば「それは指南しない」ということは真実である fact19: この養成所が子音字でないとすればアコースティック・ギターだし緞子だ fact20: もしも「「利害対立であるかあるいは青っぽい」ということは正しくない」ものがあるならばあのデータパレットは指南する fact21: もし仮に「「利害対立であるかもしくは青っぽくないかまたは両方ともである」ということは事実と異なる」物はあるとしたら「この戦線は指南しない」ということは嘘だ fact22: 「そのデータパレットは利害対立であるか青っぽくないか両方ともである」ということは成り立たない ; $hypothesis$ = この戦線は指南する ; $proof$ = 
fact22 -> int1: 「「利害対立であるかもしくは青っぽくないかまたはどちらもだ」ということは偽である」物はある; int1 & fact21 -> hypothesis; __PROVED__
事実1: 「「利害対立であるか青っぽいかあるいはどちらもである」ということは成り立つということはない」ものはある
事実2: 「「指南するかもしくは青っぽくない」ということは成り立たない」物があるとしたらこの戦線は利害対立である
事実3: 「そのダイアリードは間違い易いか青っぽくない」ということは嘘だ
事実4: 「「青っぽいかもしくは指南するということはないか両方ともだ」ということは事実と異なる」物はある
事実5: 「指南するか利害対立でないかどちらもである」物はある
事実6: 青っぽいものはある
事実7: 仮に「「青っぽいかもしくは利害対立であるということはないかもしくはどちらもである」ということは成り立たない」ものがあるとするとそのデータパレットは指南する
事実8: 何かは利害対立であるかもしくは青っぽくない
事実9: もしも無い物は信用すらないとしたら「余所余所しい」ということは成り立つ
事実10: もし仮にこの戦線は無いなら「「それは余所余所しかないが信用す」ということは成り立つ」ということは誤りである
事実11: 「「利害対立であるかもしくは指南しない」ということは成り立たない」物があるとしたらこの戦線は青っぽい
事実12: 「利害対立でない」物はある
事実13: そのデータパレットは利害対立でない
事実14: この戦線は青っぽい
事実15: そのデータパレットは指南する
事実16: 「「利害対立であるか青っぽくない」ということは間違っている」物があるとしたらそのデータパレットは指南する
事実17: 「「指南するか青っぽいということはないかあるいは両方である」ということは正しくない」物はある
事実18: もしもとあるものは余所余所しいとすれば「それは指南しない」ということは真実である
事実19: この養成所が子音字でないとすればアコースティック・ギターだし緞子だ
事実20: もしも「「利害対立であるかあるいは青っぽい」ということは正しくない」ものがあるならばあのデータパレットは指南する
事実21: もし仮に「「利害対立であるかもしくは青っぽくないかまたは両方ともである」ということは事実と異なる」物はあるとしたら「この戦線は指南しない」ということは嘘だ
事実22: 「そのデータパレットは利害対立であるか青っぽくないか両方ともである」ということは成り立たない

仮説: この戦線は指南する
1. 事実22から、推論1: "「「利害対立であるかもしくは青っぽくないかまたはどちらもだ」ということは偽である」物はある"が導かれる
2. 推論1と事実21から、仮説が導かれる

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