その八十年代中頃は吸収され易い
fact1: この犀は田舎臭いとすれば「その八十年代中頃は会うけれど味気なくない」ということは間違っている fact2: この犀は私らしいし掛け合う fact3: 仮にこの犀は吸収され易いなら「その八十年代中頃は掛け合わなくてそれに田舎臭くない」ということは誤っている fact4: 仮に何かは私らしいならそれは田舎臭い fact5: もしも「とあるものは会うということはなくておまけにそれは味気なくない」ということは誤りであるとしたらそれは財政的基盤だ fact6: 「財政的基盤は吸収され易い」ということは成り立つ fact7: その八十年代中頃は私らしい fact8: 「この犀は田舎臭い」ということは本当だとすれば「その八十年代中頃は会わないし更に味気ないということはない」ということは成り立たない fact9: この犀は財政的基盤である
fact2 -> int1: この犀は私らしい; fact4 -> int2: もしこの犀が私らしいとすればそれは田舎臭い; int1 & int2 -> int3: この犀は田舎臭い; int3 & fact8 -> int4: 「その八十年代中頃は会わないしそれは味気なくない」ということは間違いだ; fact5 -> int5: もし「その八十年代中頃は会わないしそれは味気なくない」ということは成り立たないとすれば財政的基盤である; int4 & int5 -> int6: 「その八十年代中頃は財政的基盤だ」ということは本当だ; fact6 -> int7: もし仮にその八十年代中頃が財政的基盤だとすればそれは吸収され易い; int6 & int7 -> hypothesis;
$facts$ = fact1: この犀は田舎臭いとすれば「その八十年代中頃は会うけれど味気なくない」ということは間違っている fact2: この犀は私らしいし掛け合う fact3: 仮にこの犀は吸収され易いなら「その八十年代中頃は掛け合わなくてそれに田舎臭くない」ということは誤っている fact4: 仮に何かは私らしいならそれは田舎臭い fact5: もしも「とあるものは会うということはなくておまけにそれは味気なくない」ということは誤りであるとしたらそれは財政的基盤だ fact6: 「財政的基盤は吸収され易い」ということは成り立つ fact7: その八十年代中頃は私らしい fact8: 「この犀は田舎臭い」ということは本当だとすれば「その八十年代中頃は会わないし更に味気ないということはない」ということは成り立たない fact9: この犀は財政的基盤である ; $hypothesis$ = その八十年代中頃は吸収され易い ; $proof$ = 
fact2 -> int1: この犀は私らしい; fact4 -> int2: もしこの犀が私らしいとすればそれは田舎臭い; int1 & int2 -> int3: この犀は田舎臭い; int3 & fact8 -> int4: 「その八十年代中頃は会わないしそれは味気なくない」ということは間違いだ; fact5 -> int5: もし「その八十年代中頃は会わないしそれは味気なくない」ということは成り立たないとすれば財政的基盤である; int4 & int5 -> int6: 「その八十年代中頃は財政的基盤だ」ということは本当だ; fact6 -> int7: もし仮にその八十年代中頃が財政的基盤だとすればそれは吸収され易い; int6 & int7 -> hypothesis; __PROVED__
事実1: この犀は田舎臭いとすれば「その八十年代中頃は会うけれど味気なくない」ということは間違っている
事実2: この犀は私らしいし掛け合う
事実3: 仮にこの犀は吸収され易いなら「その八十年代中頃は掛け合わなくてそれに田舎臭くない」ということは誤っている
事実4: 仮に何かは私らしいならそれは田舎臭い
事実5: もしも「とあるものは会うということはなくておまけにそれは味気なくない」ということは誤りであるとしたらそれは財政的基盤だ
事実6: 「財政的基盤は吸収され易い」ということは成り立つ
事実7: その八十年代中頃は私らしい
事実8: 「この犀は田舎臭い」ということは本当だとすれば「その八十年代中頃は会わないし更に味気ないということはない」ということは成り立たない
事実9: この犀は財政的基盤である

仮説: その八十年代中頃は吸収され易い
1. 事実2から、推論1: "この犀は私らしい"が導かれる
2. 事実4から、推論2: "もしこの犀が私らしいとすればそれは田舎臭い"が導かれる
3. 推論1と推論2から、推論3: "この犀は田舎臭い"が導かれる
4. 推論3と事実8から、推論4: "「その八十年代中頃は会わないしそれは味気なくない」ということは間違いだ"が導かれる
5. 事実5から、推論5: "もし「その八十年代中頃は会わないしそれは味気なくない」ということは成り立たないとすれば財政的基盤である"が導かれる
6. 推論4と推論5から、推論6: "「その八十年代中頃は財政的基盤だ」ということは本当だ"が導かれる
7. 事実6から、推論7: "もし仮にその八十年代中頃が財政的基盤だとすればそれは吸収され易い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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