このプロジェクト名は建造出来る
fact1: このプロジェクト名は誇らしい fact2: 「その新橋は親しみ易い」ということは成り立つ fact3: もし仮にこのプロジェクト名が親しみ易いとするとそれは建造出来る fact4: このプロジェクト名は親しみ易い fact5: もし「その未分化間葉系細胞は規則正しくて塩揉みする」ということは成り立たないならばそれは連座しない fact6: 馴染み難いということはない物は建造出来なくてかつ親しみ易くない fact7: 「その未分化間葉系細胞は規則正しくてそれは塩揉みする」ということは誤りだ fact8: 仮に「このプロジェクト名は親しみ易いということはないし馴染み難くない」ということは成り立つということはないならあのペンライトは建造出来る fact9: この投光は建造出来る
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
あのペンライトは建造出来る
fact11 & fact10 -> int1: 「その未分化間葉系細胞は連座するということはない」ということは成り立つ; int1 -> int2: なにがしかのものは連座しない;
$facts$ = fact1: このプロジェクト名は誇らしい fact2: 「その新橋は親しみ易い」ということは成り立つ fact3: もし仮にこのプロジェクト名が親しみ易いとするとそれは建造出来る fact4: このプロジェクト名は親しみ易い fact5: もし「その未分化間葉系細胞は規則正しくて塩揉みする」ということは成り立たないならばそれは連座しない fact6: 馴染み難いということはない物は建造出来なくてかつ親しみ易くない fact7: 「その未分化間葉系細胞は規則正しくてそれは塩揉みする」ということは誤りだ fact8: 仮に「このプロジェクト名は親しみ易いということはないし馴染み難くない」ということは成り立つということはないならあのペンライトは建造出来る fact9: この投光は建造出来る ; $hypothesis$ = このプロジェクト名は建造出来る ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: このプロジェクト名は誇らしい
事実2: 「その新橋は親しみ易い」ということは成り立つ
事実3: もし仮にこのプロジェクト名が親しみ易いとするとそれは建造出来る
事実4: このプロジェクト名は親しみ易い
事実5: もし「その未分化間葉系細胞は規則正しくて塩揉みする」ということは成り立たないならばそれは連座しない
事実6: 馴染み難いということはない物は建造出来なくてかつ親しみ易くない
事実7: 「その未分化間葉系細胞は規則正しくてそれは塩揉みする」ということは誤りだ
事実8: 仮に「このプロジェクト名は親しみ易いということはないし馴染み難くない」ということは成り立つということはないならあのペンライトは建造出来る
事実9: この投光は建造出来る

仮説: このプロジェクト名は建造出来る
1. 事実3と事実4から、仮説が導かれる

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