その公機は正解定石だ
fact1: 仮に何らかの物ががさがさするとするとそれは面目無い fact2: もしこの老舗企業が面目無いかもしくは愛しいかまたは両方であるならばその公機は正解定石でない fact3: もしあるものが消火しないとしたらがさがさするしかつ正解定石である fact4: もしこの老舗企業が正解定石であるかあるいはそれががさがさするかあるいはどちらもだとしたらその公機は愛しくない fact5: この老舗企業はがさがさするしそれにそれは消火する
fact5 -> int1: この老舗企業はがさがさする; fact1 -> int2: もしこの老舗企業ががさがさするならそれは面目無い; int1 & int2 -> int3: 「この老舗企業は面目無い」ということは正しい; int3 -> int4: この老舗企業は面目無いかまたはそれは愛しいかどちらもである; int4 & fact2 -> hypothesis;
その公機は正解定石だ
fact6 -> int5: もしもこの老舗企業が消火しないとすればそれはがさがさするし加えて正解定石である;
$facts$ = fact1: 仮に何らかの物ががさがさするとするとそれは面目無い fact2: もしこの老舗企業が面目無いかもしくは愛しいかまたは両方であるならばその公機は正解定石でない fact3: もしあるものが消火しないとしたらがさがさするしかつ正解定石である fact4: もしこの老舗企業が正解定石であるかあるいはそれががさがさするかあるいはどちらもだとしたらその公機は愛しくない fact5: この老舗企業はがさがさするしそれにそれは消火する ; $hypothesis$ = その公機は正解定石だ ; $proof$ = 
fact5 -> int1: この老舗企業はがさがさする; fact1 -> int2: もしこの老舗企業ががさがさするならそれは面目無い; int1 & int2 -> int3: 「この老舗企業は面目無い」ということは正しい; int3 -> int4: この老舗企業は面目無いかまたはそれは愛しいかどちらもである; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物ががさがさするとするとそれは面目無い
事実2: もしこの老舗企業が面目無いかもしくは愛しいかまたは両方であるならばその公機は正解定石でない
事実3: もしあるものが消火しないとしたらがさがさするしかつ正解定石である
事実4: もしこの老舗企業が正解定石であるかあるいはそれががさがさするかあるいはどちらもだとしたらその公機は愛しくない
事実5: この老舗企業はがさがさするしそれにそれは消火する

仮説: その公機は正解定石だ
1. 事実5から、推論1: "この老舗企業はがさがさする"が導かれる
2. 事実1から、推論2: "もしこの老舗企業ががさがさするならそれは面目無い"が導かれる
3. 推論1と推論2から、推論3: "「この老舗企業は面目無い」ということは正しい"が導かれる
4. 推論3から、推論4: "この老舗企業は面目無いかまたはそれは愛しいかどちらもである"が導かれる
5. 推論4と事実2から、仮説が否定される

よって、仮説が否定されました。