この席中は目新しい
fact1: 「あの大欅は買い漁らなくてかつ乗り掛からない」ということは間違っている fact2: 「この席中は買い漁らなくて甲斐甲斐しかない」ということは本当であるということはない fact3: 「「この席中は買い漁らないけど甲斐甲斐しい」ということは誤っている」ということは確かだ fact4: 仮に「この席中は甲斐甲斐しい」ということは成り立つとすればそれは目新しい fact5: この席中は犯す fact6: もしもその七曜表が目新しくないとするとそれは差し向かうし買い漁る fact7: もしも「この席中は買い漁らないしさらに甲斐甲斐しかない」ということは誤りであるとすると目新しい fact8: 「このネチズンは会計基準変更時差異だ」ということは成り立つとすればそれは差し向かう
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
その七曜表は買い漁る
$facts$ = fact1: 「あの大欅は買い漁らなくてかつ乗り掛からない」ということは間違っている fact2: 「この席中は買い漁らなくて甲斐甲斐しかない」ということは本当であるということはない fact3: 「「この席中は買い漁らないけど甲斐甲斐しい」ということは誤っている」ということは確かだ fact4: 仮に「この席中は甲斐甲斐しい」ということは成り立つとすればそれは目新しい fact5: この席中は犯す fact6: もしもその七曜表が目新しくないとするとそれは差し向かうし買い漁る fact7: もしも「この席中は買い漁らないしさらに甲斐甲斐しかない」ということは誤りであるとすると目新しい fact8: 「このネチズンは会計基準変更時差異だ」ということは成り立つとすればそれは差し向かう ; $hypothesis$ = この席中は目新しい ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: 「あの大欅は買い漁らなくてかつ乗り掛からない」ということは間違っている
事実2: 「この席中は買い漁らなくて甲斐甲斐しかない」ということは本当であるということはない
事実3: 「「この席中は買い漁らないけど甲斐甲斐しい」ということは誤っている」ということは確かだ
事実4: 仮に「この席中は甲斐甲斐しい」ということは成り立つとすればそれは目新しい
事実5: この席中は犯す
事実6: もしもその七曜表が目新しくないとするとそれは差し向かうし買い漁る
事実7: もしも「この席中は買い漁らないしさらに甲斐甲斐しかない」ということは誤りであるとすると目新しい
事実8: 「このネチズンは会計基準変更時差異だ」ということは成り立つとすればそれは差し向かう

仮説: この席中は目新しい
1. 事実7と事実2から、仮説が導かれる

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