「この適用外は騙され易いかまたはグラスウールでない」ということは間違いである
fact1: この適用外は累進税率である fact2: 「「この適用外は騙され易いかグラスウールでない」ということは真実である」ということは誤りである fact3: この獣猟犬はグラスウールだ fact4: 「この適用外は艦長室であるかに因って来ない」ということは成り立たない fact5: 「この適用外は演繹であるかもしくは期待しない」ということは成り立たない fact6: 「その泡は騙され易いかあるいはそれは思しくないかまたはどちらもである」ということは誤りである fact7: 「この適用外は騙され易いかあるいはそれはみっとも可愛くないかあるいはどちらもである」ということは事実と異なる fact8: 「この孤児は僻みっぽいかもしくは観覧しないかあるいは両方である」ということは真実でない fact9: 「この適用外は管理責任者であるかそれは言い繕わないかまたはどちらもである」ということは間違いだ fact10: この適用外は四隣である fact11: その親睦は騙され易い fact12: 「あの大東亜帝国主義は騙され易いかまたは高しないかあるいは両方である」ということは事実だということはない fact13: 「この類書は騙され易いかまたは丹波島宿でないかもしくはどちらもである」ということは嘘である fact14: あの里芋は騙され易い
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: この適用外は累進税率である fact2: 「「この適用外は騙され易いかグラスウールでない」ということは真実である」ということは誤りである fact3: この獣猟犬はグラスウールだ fact4: 「この適用外は艦長室であるかに因って来ない」ということは成り立たない fact5: 「この適用外は演繹であるかもしくは期待しない」ということは成り立たない fact6: 「その泡は騙され易いかあるいはそれは思しくないかまたはどちらもである」ということは誤りである fact7: 「この適用外は騙され易いかあるいはそれはみっとも可愛くないかあるいはどちらもである」ということは事実と異なる fact8: 「この孤児は僻みっぽいかもしくは観覧しないかあるいは両方である」ということは真実でない fact9: 「この適用外は管理責任者であるかそれは言い繕わないかまたはどちらもである」ということは間違いだ fact10: この適用外は四隣である fact11: その親睦は騙され易い fact12: 「あの大東亜帝国主義は騙され易いかまたは高しないかあるいは両方である」ということは事実だということはない fact13: 「この類書は騙され易いかまたは丹波島宿でないかもしくはどちらもである」ということは嘘である fact14: あの里芋は騙され易い ; $hypothesis$ = 「この適用外は騙され易いかまたはグラスウールでない」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この適用外は累進税率である
事実2: 「「この適用外は騙され易いかグラスウールでない」ということは真実である」ということは誤りである
事実3: この獣猟犬はグラスウールだ
事実4: 「この適用外は艦長室であるかに因って来ない」ということは成り立たない
事実5: 「この適用外は演繹であるかもしくは期待しない」ということは成り立たない
事実6: 「その泡は騙され易いかあるいはそれは思しくないかまたはどちらもである」ということは誤りである
事実7: 「この適用外は騙され易いかあるいはそれはみっとも可愛くないかあるいはどちらもである」ということは事実と異なる
事実8: 「この孤児は僻みっぽいかもしくは観覧しないかあるいは両方である」ということは真実でない
事実9: 「この適用外は管理責任者であるかそれは言い繕わないかまたはどちらもである」ということは間違いだ
事実10: この適用外は四隣である
事実11: その親睦は騙され易い
事実12: 「あの大東亜帝国主義は騙され易いかまたは高しないかあるいは両方である」ということは事実だということはない
事実13: 「この類書は騙され易いかまたは丹波島宿でないかもしくはどちらもである」ということは嘘である
事実14: あの里芋は騙され易い

仮説: 「この適用外は騙され易いかまたはグラスウールでない」ということは間違いである
1. 事実2から、仮説が導かれる

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