その墓参はイギリス社会学でない
fact1: その墓参は恨みがましいし毛深い fact2: 仮に「その墓参はおっきくないし招き易いということはない」ということは誤りだとすればこの高齢者医療制度はＴＢＯＣである fact3: 仮に「なにがしかのものはＴＢＯＣだ」ということは真実だとしたらそのセンターコンソールは想像し難くないし吹き上がらない fact4: 仮にこの高齢者医療制度が素早いならばあの墓参はイギリス社会学でない fact5: もし仮になにかは想像し難くないしそれが吹き上がらないなら素早い fact6: もしこの高齢者医療制度が株券不発行制度であるかあるいはそれが素早いとすればその墓参はイギリス社会学でない fact7: この高齢者医療制度は株券不発行制度だ fact8: もし仮にこの高齢者医療制度が素早いかまたはイギリス社会学だとするとその墓参は株券不発行制度でない fact9: もし何かは素早いとしたらそれはイギリス社会学でないしその上それは株券不発行制度だ fact10: その墓参はイギリス社会学であるかまたは株券不発行制度であるかまたは両方である fact11: もしも何らかのものは毛深いとすると「「それはおっきくないし招き易くない」ということは確かである」ということは成り立たない
fact7 -> int1: この高齢者医療制度は株券不発行制度であるかそれは素早い; int1 & fact6 -> hypothesis;
そのセンターコンソールはイギリス社会学でない
fact13 -> int2: もしもそのセンターコンソールが素早いとすればそれはイギリス社会学でなくて更にそれは株券不発行制度である; fact15 -> int3: もしそのセンターコンソールが想像し難くないしまたそれが吹き上がらないとすればそれは素早い; fact12 -> int4: 仮にその墓参は毛深いとすると「それはおっきくなくて招き易くない」ということは成り立たない; fact16 -> int5: その墓参は毛深い; int4 & int5 -> int6: 「その墓参はおっきくなくて更に招き易いということはない」ということは偽だ; fact17 & int6 -> int7: この高齢者医療制度はＴＢＯＣだ; int7 -> int8: 「ＴＢＯＣである」ものはある; int8 & fact14 -> int9: そのセンターコンソールは想像し難くないしそれに吹き上がらない; int3 & int9 -> int10: そのセンターコンソールは素早い; int2 & int10 -> int11: そのセンターコンソールはイギリス社会学であるということはないがそれは株券不発行制度である; int11 -> hypothesis;
$facts$ = fact1: その墓参は恨みがましいし毛深い fact2: 仮に「その墓参はおっきくないし招き易いということはない」ということは誤りだとすればこの高齢者医療制度はＴＢＯＣである fact3: 仮に「なにがしかのものはＴＢＯＣだ」ということは真実だとしたらそのセンターコンソールは想像し難くないし吹き上がらない fact4: 仮にこの高齢者医療制度が素早いならばあの墓参はイギリス社会学でない fact5: もし仮になにかは想像し難くないしそれが吹き上がらないなら素早い fact6: もしこの高齢者医療制度が株券不発行制度であるかあるいはそれが素早いとすればその墓参はイギリス社会学でない fact7: この高齢者医療制度は株券不発行制度だ fact8: もし仮にこの高齢者医療制度が素早いかまたはイギリス社会学だとするとその墓参は株券不発行制度でない fact9: もし何かは素早いとしたらそれはイギリス社会学でないしその上それは株券不発行制度だ fact10: その墓参はイギリス社会学であるかまたは株券不発行制度であるかまたは両方である fact11: もしも何らかのものは毛深いとすると「「それはおっきくないし招き易くない」ということは確かである」ということは成り立たない ; $hypothesis$ = その墓参はイギリス社会学でない ; $proof$ = 
fact7 -> int1: この高齢者医療制度は株券不発行制度であるかそれは素早い; int1 & fact6 -> hypothesis; __PROVED__
事実1: その墓参は恨みがましいし毛深い
事実2: 仮に「その墓参はおっきくないし招き易いということはない」ということは誤りだとすればこの高齢者医療制度はＴＢＯＣである
事実3: 仮に「なにがしかのものはＴＢＯＣだ」ということは真実だとしたらそのセンターコンソールは想像し難くないし吹き上がらない
事実4: 仮にこの高齢者医療制度が素早いならばあの墓参はイギリス社会学でない
事実5: もし仮になにかは想像し難くないしそれが吹き上がらないなら素早い
事実6: もしこの高齢者医療制度が株券不発行制度であるかあるいはそれが素早いとすればその墓参はイギリス社会学でない
事実7: この高齢者医療制度は株券不発行制度だ
事実8: もし仮にこの高齢者医療制度が素早いかまたはイギリス社会学だとするとその墓参は株券不発行制度でない
事実9: もし何かは素早いとしたらそれはイギリス社会学でないしその上それは株券不発行制度だ
事実10: その墓参はイギリス社会学であるかまたは株券不発行制度であるかまたは両方である
事実11: もしも何らかのものは毛深いとすると「「それはおっきくないし招き易くない」ということは確かである」ということは成り立たない

仮説: その墓参はイギリス社会学でない
1. 事実7から、推論1: "この高齢者医療制度は株券不発行制度であるかそれは素早い"が導かれる
2. 推論1と事実6から、仮説が導かれる

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