そのボディーラインは木目細かくない
fact1: 仮にあるものが軽ーいか血清濃度であるということはないかまたは両方ならば「それは木目細かい」ということは本当だ fact2: その仕打ちは血清濃度である fact3: そのボディーラインは御恥ずかしい fact4: ある物が御恥ずかしくないとしたらそれは全面化するかもしくは木目細かくないか両方ともだ fact5: もしそのボディーラインは血清濃度でないとすると木目細かい fact6: そのボディーラインは神経症状でその上スクランブル解除基板だ fact7: もし仮になにかは再利用するしさらに人影だとすれば「血清濃度でない」ということは正しい fact8: もし仮にその仕打ちが木目細かいかあるいは御恥ずかしくないか両方ともならそれは血清濃度だ fact9: そのボディーラインが血清濃度ならそれは御恥ずかしい fact10: その十人並みは血清濃度である fact11: もしその仕打ちが御恥ずかしいとしたらそのボディーラインは軽ーいかそれは血清濃度でない fact12: 血清濃度は神経症状である fact13: その仕打ちは軽ーい fact14: もしも「何かは軽ーくない」ということは事実だとすれば「それは御恥ずかしくないし神経症状でない」ということは偽である fact15: このエツ族は再利用する fact16: その仕打ちは御恥ずかしいし加えて神経症状である fact17: そのボディーラインは軽ーいかもしくはそれは血清濃度であるかあるいはどちらもだ
fact16 -> int1: その仕打ちは御恥ずかしい; int1 & fact11 -> int2: そのボディーラインは軽ーいかまたは血清濃度でないかあるいは両方である; fact1 -> int3: もしもそのボディーラインが軽ーいかあるいはそれは血清濃度でないかまたは両方ともであるとしたら「それは木目細かい」ということは真実である; int2 & int3 -> hypothesis;
fact16 -> int1: {A}{a}; int1 & fact11 -> int2: ({C}{b} v ¬{D}{b}); fact1 -> int3: ({C}{b} v ¬{D}{b}) -> {E}{b}; int2 & int3 -> hypothesis;
その機能性成分は全面化するか木目細かくない
fact18 -> int4: もし仮にその機能性成分が御恥ずかしくないとすると全面化するかあるいは木目細かくない;
$facts$ = fact1: 仮にあるものが軽ーいか血清濃度であるということはないかまたは両方ならば「それは木目細かい」ということは本当だ fact2: その仕打ちは血清濃度である fact3: そのボディーラインは御恥ずかしい fact4: ある物が御恥ずかしくないとしたらそれは全面化するかもしくは木目細かくないか両方ともだ fact5: もしそのボディーラインは血清濃度でないとすると木目細かい fact6: そのボディーラインは神経症状でその上スクランブル解除基板だ fact7: もし仮になにかは再利用するしさらに人影だとすれば「血清濃度でない」ということは正しい fact8: もし仮にその仕打ちが木目細かいかあるいは御恥ずかしくないか両方ともならそれは血清濃度だ fact9: そのボディーラインが血清濃度ならそれは御恥ずかしい fact10: その十人並みは血清濃度である fact11: もしその仕打ちが御恥ずかしいとしたらそのボディーラインは軽ーいかそれは血清濃度でない fact12: 血清濃度は神経症状である fact13: その仕打ちは軽ーい fact14: もしも「何かは軽ーくない」ということは事実だとすれば「それは御恥ずかしくないし神経症状でない」ということは偽である fact15: このエツ族は再利用する fact16: その仕打ちは御恥ずかしいし加えて神経症状である fact17: そのボディーラインは軽ーいかもしくはそれは血清濃度であるかあるいはどちらもだ ; $hypothesis$ = そのボディーラインは木目細かくない ; $proof$ = 
fact16 -> int1: その仕打ちは御恥ずかしい; int1 & fact11 -> int2: そのボディーラインは軽ーいかまたは血清濃度でないかあるいは両方である; fact1 -> int3: もしもそのボディーラインが軽ーいかあるいはそれは血清濃度でないかまたは両方ともであるとしたら「それは木目細かい」ということは真実である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが軽ーいか血清濃度であるということはないかまたは両方ならば「それは木目細かい」ということは本当だ
事実2: その仕打ちは血清濃度である
事実3: そのボディーラインは御恥ずかしい
事実4: ある物が御恥ずかしくないとしたらそれは全面化するかもしくは木目細かくないか両方ともだ
事実5: もしそのボディーラインは血清濃度でないとすると木目細かい
事実6: そのボディーラインは神経症状でその上スクランブル解除基板だ
事実7: もし仮になにかは再利用するしさらに人影だとすれば「血清濃度でない」ということは正しい
事実8: もし仮にその仕打ちが木目細かいかあるいは御恥ずかしくないか両方ともならそれは血清濃度だ
事実9: そのボディーラインが血清濃度ならそれは御恥ずかしい
事実10: その十人並みは血清濃度である
事実11: もしその仕打ちが御恥ずかしいとしたらそのボディーラインは軽ーいかそれは血清濃度でない
事実12: 血清濃度は神経症状である
事実13: その仕打ちは軽ーい
事実14: もしも「何かは軽ーくない」ということは事実だとすれば「それは御恥ずかしくないし神経症状でない」ということは偽である
事実15: このエツ族は再利用する
事実16: その仕打ちは御恥ずかしいし加えて神経症状である
事実17: そのボディーラインは軽ーいかもしくはそれは血清濃度であるかあるいはどちらもだ

仮説: そのボディーラインは木目細かくない
1. 事実16から、推論1: "その仕打ちは御恥ずかしい"が導かれる
2. 推論1と事実11から、推論2: "そのボディーラインは軽ーいかまたは血清濃度でないかあるいは両方である"が導かれる
3. 事実1から、推論3: "もしもそのボディーラインが軽ーいかあるいはそれは血清濃度でないかまたは両方ともであるとしたら「それは木目細かい」ということは真実である"が導かれる
4. 推論2と推論3から、仮説が否定される

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