この小豪族は御家族でない
fact1: 仮にその月長石が本節以下でないとすれば第一説だしそれはコヒーラである fact2: その月長石はコヒーラである fact3: 「その月長石は鑑みる」ということは本当である fact4: もしその月長石は本節以下でないならコヒーラだ fact5: その財政融資資金特別会計はコヒーラでない fact6: あのしゃあは鑑みる fact7: あの書様が仕切り直すならこの小豪族は鑑みる fact8: その月長石が第一説であるとしたらあの書様は仕切り直す fact9: その月長石は遣り易くない fact10: 「その月長石は本節以下である」ということは成り立たない fact11: もし仮にあの書様は本節以下でないなら「その月長石は仕切り直すし加えてそれは御家族である」ということは成り立たない fact12: もしもなんらかの物が鑑みるとすればそれは御家族だ
fact1 & fact10 -> int1: その月長石は第一説であるしその上それはコヒーラだ; int1 -> int2: その月長石は第一説である; int2 & fact8 -> int3: あの書様は仕切り直す; int3 & fact7 -> int4: この小豪族は鑑みる; fact12 -> int5: もしもこの小豪族が鑑みるとするとそれは御家族である; int4 & int5 -> hypothesis;
この小豪族は御家族だということはない
$facts$ = fact1: 仮にその月長石が本節以下でないとすれば第一説だしそれはコヒーラである fact2: その月長石はコヒーラである fact3: 「その月長石は鑑みる」ということは本当である fact4: もしその月長石は本節以下でないならコヒーラだ fact5: その財政融資資金特別会計はコヒーラでない fact6: あのしゃあは鑑みる fact7: あの書様が仕切り直すならこの小豪族は鑑みる fact8: その月長石が第一説であるとしたらあの書様は仕切り直す fact9: その月長石は遣り易くない fact10: 「その月長石は本節以下である」ということは成り立たない fact11: もし仮にあの書様は本節以下でないなら「その月長石は仕切り直すし加えてそれは御家族である」ということは成り立たない fact12: もしもなんらかの物が鑑みるとすればそれは御家族だ ; $hypothesis$ = この小豪族は御家族でない ; $proof$ = 
fact1 & fact10 -> int1: その月長石は第一説であるしその上それはコヒーラだ; int1 -> int2: その月長石は第一説である; int2 & fact8 -> int3: あの書様は仕切り直す; int3 & fact7 -> int4: この小豪族は鑑みる; fact12 -> int5: もしもこの小豪族が鑑みるとするとそれは御家族である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮にその月長石が本節以下でないとすれば第一説だしそれはコヒーラである
事実2: その月長石はコヒーラである
事実3: 「その月長石は鑑みる」ということは本当である
事実4: もしその月長石は本節以下でないならコヒーラだ
事実5: その財政融資資金特別会計はコヒーラでない
事実6: あのしゃあは鑑みる
事実7: あの書様が仕切り直すならこの小豪族は鑑みる
事実8: その月長石が第一説であるとしたらあの書様は仕切り直す
事実9: その月長石は遣り易くない
事実10: 「その月長石は本節以下である」ということは成り立たない
事実11: もし仮にあの書様は本節以下でないなら「その月長石は仕切り直すし加えてそれは御家族である」ということは成り立たない
事実12: もしもなんらかの物が鑑みるとすればそれは御家族だ

仮説: この小豪族は御家族でない
1. 事実1と事実10から、推論1: "その月長石は第一説であるしその上それはコヒーラだ"が導かれる
2. 推論1から、推論2: "その月長石は第一説である"が導かれる
3. 推論2と事実8から、推論3: "あの書様は仕切り直す"が導かれる
4. 推論3と事実7から、推論4: "この小豪族は鑑みる"が導かれる
5. 事実12から、推論5: "もしもこの小豪族が鑑みるとするとそれは御家族である"が導かれる
6. 推論4と推論5から、仮説が否定される

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