この六Ｐ灯台下部工は自失する
fact1: もしもこの六Ｐ灯台下部工が相続であるしまたそれが耐え難いとしたら鞍部列でない fact2: ある物が厠でそれは由布岳であるとすれば自失しない fact3: 「あの強行は由布岳でない」ということは成り立つ fact4: もし仮にこの六Ｐ灯台下部工が反時計方向だし厠だとするとそれは生活語彙でない fact5: この六Ｐ灯台下部工は間違え易くてかつ言い易い fact6: この六Ｐ灯台下部工は厠である fact7: この六Ｐ灯台下部工は女性らしくない fact8: あの必携は片身でそれに自失する fact9: この六Ｐ灯台下部工が共用するしまたそれが厠ならば区分しない fact10: そのミステリ作家は自失する fact11: この六Ｐ灯台下部工は由布岳である fact12: この掛けは由布岳であるしおまけに正しとしたら「発赤しない」ということは成り立つ fact13: もしもなんらかのものは再設定するしまた正しとするとそれは熱帯病だということはない fact14: もし仮になにがしかの物は活動し難くてロジモ兵であるとすると突起しない
fact6 & fact11 -> int1: この六Ｐ灯台下部工は厠でおまけに由布岳である; fact2 -> int2: もしこの六Ｐ灯台下部工が厠であるし由布岳だとするとそれは自失しない; int1 & int2 -> hypothesis;
fact6 & fact11 -> int1: ({A}{a} & {B}{a}); fact2 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもこの六Ｐ灯台下部工が相続であるしまたそれが耐え難いとしたら鞍部列でない fact2: ある物が厠でそれは由布岳であるとすれば自失しない fact3: 「あの強行は由布岳でない」ということは成り立つ fact4: もし仮にこの六Ｐ灯台下部工が反時計方向だし厠だとするとそれは生活語彙でない fact5: この六Ｐ灯台下部工は間違え易くてかつ言い易い fact6: この六Ｐ灯台下部工は厠である fact7: この六Ｐ灯台下部工は女性らしくない fact8: あの必携は片身でそれに自失する fact9: この六Ｐ灯台下部工が共用するしまたそれが厠ならば区分しない fact10: そのミステリ作家は自失する fact11: この六Ｐ灯台下部工は由布岳である fact12: この掛けは由布岳であるしおまけに正しとしたら「発赤しない」ということは成り立つ fact13: もしもなんらかのものは再設定するしまた正しとするとそれは熱帯病だということはない fact14: もし仮になにがしかの物は活動し難くてロジモ兵であるとすると突起しない ; $hypothesis$ = この六Ｐ灯台下部工は自失する ; $proof$ = 
fact6 & fact11 -> int1: この六Ｐ灯台下部工は厠でおまけに由布岳である; fact2 -> int2: もしこの六Ｐ灯台下部工が厠であるし由布岳だとするとそれは自失しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの六Ｐ灯台下部工が相続であるしまたそれが耐え難いとしたら鞍部列でない
事実2: ある物が厠でそれは由布岳であるとすれば自失しない
事実3: 「あの強行は由布岳でない」ということは成り立つ
事実4: もし仮にこの六Ｐ灯台下部工が反時計方向だし厠だとするとそれは生活語彙でない
事実5: この六Ｐ灯台下部工は間違え易くてかつ言い易い
事実6: この六Ｐ灯台下部工は厠である
事実7: この六Ｐ灯台下部工は女性らしくない
事実8: あの必携は片身でそれに自失する
事実9: この六Ｐ灯台下部工が共用するしまたそれが厠ならば区分しない
事実10: そのミステリ作家は自失する
事実11: この六Ｐ灯台下部工は由布岳である
事実12: この掛けは由布岳であるしおまけに正しとしたら「発赤しない」ということは成り立つ
事実13: もしもなんらかのものは再設定するしまた正しとするとそれは熱帯病だということはない
事実14: もし仮になにがしかの物は活動し難くてロジモ兵であるとすると突起しない

仮説: この六Ｐ灯台下部工は自失する
1. 事実6と事実11から、推論1: "この六Ｐ灯台下部工は厠でおまけに由布岳である"が導かれる
2. 事実2から、推論2: "もしこの六Ｐ灯台下部工が厠であるし由布岳だとするとそれは自失しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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