その注釈行は穿つししかも貸し出す
fact1: もし「「嫉妬深くないし更に聞き知らない」ということは誤りな」物があればその注釈行は穿つ fact2: もしその注釈行がそそっかしいが十分前でないならば貸し出す fact3: 「このＬＣＡＴは嫉妬深くないし聞き知るということはない」ということは正しいということはない fact4: その注釈行はそそっかしい一方で十分前でない
fact3 -> int1: 「「嫉妬深くなくておまけに聞き知らない」ということは事実と異なる」ものはある; int1 & fact1 -> int2: 「その注釈行は穿つ」ということは正しい; fact2 & fact4 -> int3: その注釈行は貸し出す; int2 & int3 -> hypothesis;
$facts$ = fact1: もし「「嫉妬深くないし更に聞き知らない」ということは誤りな」物があればその注釈行は穿つ fact2: もしその注釈行がそそっかしいが十分前でないならば貸し出す fact3: 「このＬＣＡＴは嫉妬深くないし聞き知るということはない」ということは正しいということはない fact4: その注釈行はそそっかしい一方で十分前でない ; $hypothesis$ = その注釈行は穿つししかも貸し出す ; $proof$ = 
fact3 -> int1: 「「嫉妬深くなくておまけに聞き知らない」ということは事実と異なる」ものはある; int1 & fact1 -> int2: 「その注釈行は穿つ」ということは正しい; fact2 & fact4 -> int3: その注釈行は貸し出す; int2 & int3 -> hypothesis; __PROVED__
事実1: もし「「嫉妬深くないし更に聞き知らない」ということは誤りな」物があればその注釈行は穿つ
事実2: もしその注釈行がそそっかしいが十分前でないならば貸し出す
事実3: 「このＬＣＡＴは嫉妬深くないし聞き知るということはない」ということは正しいということはない
事実4: その注釈行はそそっかしい一方で十分前でない

仮説: その注釈行は穿つししかも貸し出す
1. 事実3から、推論1: "「「嫉妬深くなくておまけに聞き知らない」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実1から、推論2: "「その注釈行は穿つ」ということは正しい"が導かれる
3. 事実2と事実4から、推論3: "その注釈行は貸し出す"が導かれる
4. 推論2と推論3から、仮説が導かれる

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