このレストラン内は平たい
fact1: このレストラン内は共生すれば「この相互作用説は平たい」ということは成り立つ fact2: もしこの相互作用説は付着し易いなら「このレストラン内は平たい」ということは真実だ fact3: この相互作用説は中心暗点だ fact4: この相互作用説はせこい fact5: この相互作用説が付着し易いしその上それは共生する fact6: もしもこの相互作用説が平たいならばこのレストラン内は付着し易い fact7: その中国史は共生する fact8: 「この相互作用説は平たいし共生する」ということは確かである fact9: この相互作用説は解約出来る fact10: このレストラン内は共生する fact11: 仮に「この相互作用説は平たい」ということは真実であるとするとこのレストラン内は共生する fact12: このレストラン内は現われ難い fact13: あのテラ島は付着し易い fact14: このレストラン内は付着し易くてかつ変化し易い fact15: このレストラン内は付着し易い fact16: この相互作用説は平たい fact17: この相互作用説が付着し易いならばあのレストラン内は共生する
fact5 -> int1: 「この相互作用説は付着し易い」ということは成り立つ; int1 & fact2 -> hypothesis;
$facts$ = fact1: このレストラン内は共生すれば「この相互作用説は平たい」ということは成り立つ fact2: もしこの相互作用説は付着し易いなら「このレストラン内は平たい」ということは真実だ fact3: この相互作用説は中心暗点だ fact4: この相互作用説はせこい fact5: この相互作用説が付着し易いしその上それは共生する fact6: もしもこの相互作用説が平たいならばこのレストラン内は付着し易い fact7: その中国史は共生する fact8: 「この相互作用説は平たいし共生する」ということは確かである fact9: この相互作用説は解約出来る fact10: このレストラン内は共生する fact11: 仮に「この相互作用説は平たい」ということは真実であるとするとこのレストラン内は共生する fact12: このレストラン内は現われ難い fact13: あのテラ島は付着し易い fact14: このレストラン内は付着し易くてかつ変化し易い fact15: このレストラン内は付着し易い fact16: この相互作用説は平たい fact17: この相互作用説が付着し易いならばあのレストラン内は共生する ; $hypothesis$ = このレストラン内は平たい ; $proof$ = 
fact5 -> int1: 「この相互作用説は付着し易い」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
事実1: このレストラン内は共生すれば「この相互作用説は平たい」ということは成り立つ
事実2: もしこの相互作用説は付着し易いなら「このレストラン内は平たい」ということは真実だ
事実3: この相互作用説は中心暗点だ
事実4: この相互作用説はせこい
事実5: この相互作用説が付着し易いしその上それは共生する
事実6: もしもこの相互作用説が平たいならばこのレストラン内は付着し易い
事実7: その中国史は共生する
事実8: 「この相互作用説は平たいし共生する」ということは確かである
事実9: この相互作用説は解約出来る
事実10: このレストラン内は共生する
事実11: 仮に「この相互作用説は平たい」ということは真実であるとするとこのレストラン内は共生する
事実12: このレストラン内は現われ難い
事実13: あのテラ島は付着し易い
事実14: このレストラン内は付着し易くてかつ変化し易い
事実15: このレストラン内は付着し易い
事実16: この相互作用説は平たい
事実17: この相互作用説が付着し易いならばあのレストラン内は共生する

仮説: このレストラン内は平たい
1. 事実5から、推論1: "「この相互作用説は付着し易い」ということは成り立つ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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