このグロウイング・ダウンは陪席しない
fact1: もし「その生産物賠償責任保険は陪席するけれどそれは自然美でない」ということは成り立たないならこのグロウイング・ダウンは陪席しない fact2: もしも「このグロウイング・ダウンは自然美だ」ということは成り立つとすればそれは懐かし fact3: このグロウイング・ダウンは陰気臭い fact4: このグロウイング・ダウンは有し得る fact5: このバイオは陪席する fact6: 懐かしものは自然美である fact7: このグロウイング・ダウンは収蔵・展示する fact8: その加工法は陪席する fact9: その人民大会議は自然美だ fact10: 仮に「このグロウイング・ダウンは傷付け易い」ということは本当であるならば言い表わす fact11: このグロウイング・ダウンは着易い fact12: この監修者は陪席する fact13: 「このグロウイング・ダウンは現代文化である」ということは確かだ fact14: この一致協力が倒壊するとすると恥ずかしさだ fact15: このグロウイング・ダウンは自然美である fact16: 「懐かしものは陪席する」ということは正しい
fact2 & fact15 -> int1: このグロウイング・ダウンは懐かし; fact16 -> int2: 仮にこのグロウイング・ダウンが懐かしとするとそれは陪席する; int1 & int2 -> hypothesis;
その使用法は自然美だ
fact17 -> int3: もしもその使用法が懐かしなら自然美だ;
$facts$ = fact1: もし「その生産物賠償責任保険は陪席するけれどそれは自然美でない」ということは成り立たないならこのグロウイング・ダウンは陪席しない fact2: もしも「このグロウイング・ダウンは自然美だ」ということは成り立つとすればそれは懐かし fact3: このグロウイング・ダウンは陰気臭い fact4: このグロウイング・ダウンは有し得る fact5: このバイオは陪席する fact6: 懐かしものは自然美である fact7: このグロウイング・ダウンは収蔵・展示する fact8: その加工法は陪席する fact9: その人民大会議は自然美だ fact10: 仮に「このグロウイング・ダウンは傷付け易い」ということは本当であるならば言い表わす fact11: このグロウイング・ダウンは着易い fact12: この監修者は陪席する fact13: 「このグロウイング・ダウンは現代文化である」ということは確かだ fact14: この一致協力が倒壊するとすると恥ずかしさだ fact15: このグロウイング・ダウンは自然美である fact16: 「懐かしものは陪席する」ということは正しい ; $hypothesis$ = このグロウイング・ダウンは陪席しない ; $proof$ = 
fact2 & fact15 -> int1: このグロウイング・ダウンは懐かし; fact16 -> int2: 仮にこのグロウイング・ダウンが懐かしとするとそれは陪席する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「その生産物賠償責任保険は陪席するけれどそれは自然美でない」ということは成り立たないならこのグロウイング・ダウンは陪席しない
事実2: もしも「このグロウイング・ダウンは自然美だ」ということは成り立つとすればそれは懐かし
事実3: このグロウイング・ダウンは陰気臭い
事実4: このグロウイング・ダウンは有し得る
事実5: このバイオは陪席する
事実6: 懐かしものは自然美である
事実7: このグロウイング・ダウンは収蔵・展示する
事実8: その加工法は陪席する
事実9: その人民大会議は自然美だ
事実10: 仮に「このグロウイング・ダウンは傷付け易い」ということは本当であるならば言い表わす
事実11: このグロウイング・ダウンは着易い
事実12: この監修者は陪席する
事実13: 「このグロウイング・ダウンは現代文化である」ということは確かだ
事実14: この一致協力が倒壊するとすると恥ずかしさだ
事実15: このグロウイング・ダウンは自然美である
事実16: 「懐かしものは陪席する」ということは正しい

仮説: このグロウイング・ダウンは陪席しない
1. 事実2と事実15から、推論1: "このグロウイング・ダウンは懐かし"が導かれる
2. 事実16から、推論2: "仮にこのグロウイング・ダウンが懐かしとするとそれは陪席する"が導かれる
3. 推論1と推論2から、仮説が否定される

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