この自由結婚主義者は安しないしまたステアするということはない
fact1: この自由結婚主義者は安しならば「それはステアしなくてぎごちない」ということは間違いである fact2: どれもこれもはぎごちないしその上考え辛い fact3: この自由結婚主義者は安しない fact4: このＴＩＰがぎごちないとするとこの自由結婚主義者は安しない fact5: すべてのものは考え辛い fact6: その再編は安し fact7: 仮に「なんらかのものは出難いということはないがしかし考え辛い」ということは成り立たないとすればぎごちない fact8: もしもこのＴＩＰがぎごちないとすればこの自由結婚主義者は安しないし加えてそれはステアしない
fact2 -> int1: このＴＩＰがぎごちないしその上それは考え辛い; int1 -> int2: このＴＩＰはぎごちない; int2 & fact8 -> hypothesis;
そのキャナリー・ロウは考え辛い
$facts$ = fact1: この自由結婚主義者は安しならば「それはステアしなくてぎごちない」ということは間違いである fact2: どれもこれもはぎごちないしその上考え辛い fact3: この自由結婚主義者は安しない fact4: このＴＩＰがぎごちないとするとこの自由結婚主義者は安しない fact5: すべてのものは考え辛い fact6: その再編は安し fact7: 仮に「なんらかのものは出難いということはないがしかし考え辛い」ということは成り立たないとすればぎごちない fact8: もしもこのＴＩＰがぎごちないとすればこの自由結婚主義者は安しないし加えてそれはステアしない ; $hypothesis$ = この自由結婚主義者は安しないしまたステアするということはない ; $proof$ = 
fact2 -> int1: このＴＩＰがぎごちないしその上それは考え辛い; int1 -> int2: このＴＩＰはぎごちない; int2 & fact8 -> hypothesis; __PROVED__
事実1: この自由結婚主義者は安しならば「それはステアしなくてぎごちない」ということは間違いである
事実2: どれもこれもはぎごちないしその上考え辛い
事実3: この自由結婚主義者は安しない
事実4: このＴＩＰがぎごちないとするとこの自由結婚主義者は安しない
事実5: すべてのものは考え辛い
事実6: その再編は安し
事実7: 仮に「なんらかのものは出難いということはないがしかし考え辛い」ということは成り立たないとすればぎごちない
事実8: もしもこのＴＩＰがぎごちないとすればこの自由結婚主義者は安しないし加えてそれはステアしない

仮説: この自由結婚主義者は安しないしまたステアするということはない
1. 事実2から、推論1: "このＴＩＰがぎごちないしその上それは考え辛い"が導かれる
2. 推論1から、推論2: "このＴＩＰはぎごちない"が導かれる
3. 推論2と事実8から、仮説が導かれる

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