この表在性は薬草だ
fact1: その五μＣ／センチメートルは艇だ fact2: 「何かは打ち始める一方で使い切らない」ということは確かでないとすればそれは予防する fact3: 「その体幹部は打ち始めるということはない」ということは確かだとしたらそれは使い切るかまたは柔和であるかもしくはどちらもだ fact4: その五μＣ／センチメートルが艇であるかまたは予防するかあるいは両方ともだとすればその体幹部は打ち始めない fact5: もしその体幹部が一分後でないとすると打ち始めるかあるいは使い切るかもしくは両方ともだ fact6: もし仮にその五μＣ／センチメートルは予防するとしたら「その体幹部は打ち始めない」ということは正しい fact7: もし仮にその五μＣ／センチメートルは艇であるならば「一分後である」ということは確かだ fact8: もしもその体幹部が使い切らないか柔和であるか両方ともだとするとこの表在性は一分後だ fact9: もし何かは打ち始めないとするとそれは使い切らないかそれは柔和であるかあるいは両方ともである fact10: ある物は柔和でないとすると「それは打ち始めるしまた使い切らない」ということは誤りだ fact11: 何らかの物が予防しないならばそれは薬草であるかあるいは艇であるかまたはどちらもである fact12: 一分後は薬草である
fact1 -> int1: その五μＣ／センチメートルは艇であるかもしくは予防するかあるいは両方である; int1 & fact4 -> int2: その体幹部は打ち始めるということはない; fact9 -> int3: もしその体幹部が打ち始めないならば使い切らないかそれは柔和であるかもしくはどちらもだ; int2 & int3 -> int4: その体幹部は使い切らないかまたはそれは柔和であるかどちらもである; int4 & fact8 -> int5: この表在性は一分後である; fact12 -> int6: 仮にこの表在性は一分後であるとすると薬草だ; int5 & int6 -> hypothesis;
この表在性は薬草でない
fact13 -> int7: 「この表在性は打ち始めるがしかし使い切るということはない」ということは成り立たないならば予防する; fact14 -> int8: その五μＣ／センチメートルは柔和でないとすると「打ち始めるけど使い切らない」ということは成り立たない;
$facts$ = fact1: その五μＣ／センチメートルは艇だ fact2: 「何かは打ち始める一方で使い切らない」ということは確かでないとすればそれは予防する fact3: 「その体幹部は打ち始めるということはない」ということは確かだとしたらそれは使い切るかまたは柔和であるかもしくはどちらもだ fact4: その五μＣ／センチメートルが艇であるかまたは予防するかあるいは両方ともだとすればその体幹部は打ち始めない fact5: もしその体幹部が一分後でないとすると打ち始めるかあるいは使い切るかもしくは両方ともだ fact6: もし仮にその五μＣ／センチメートルは予防するとしたら「その体幹部は打ち始めない」ということは正しい fact7: もし仮にその五μＣ／センチメートルは艇であるならば「一分後である」ということは確かだ fact8: もしもその体幹部が使い切らないか柔和であるか両方ともだとするとこの表在性は一分後だ fact9: もし何かは打ち始めないとするとそれは使い切らないかそれは柔和であるかあるいは両方ともである fact10: ある物は柔和でないとすると「それは打ち始めるしまた使い切らない」ということは誤りだ fact11: 何らかの物が予防しないならばそれは薬草であるかあるいは艇であるかまたはどちらもである fact12: 一分後は薬草である ; $hypothesis$ = この表在性は薬草だ ; $proof$ = 
fact1 -> int1: その五μＣ／センチメートルは艇であるかもしくは予防するかあるいは両方である; int1 & fact4 -> int2: その体幹部は打ち始めるということはない; fact9 -> int3: もしその体幹部が打ち始めないならば使い切らないかそれは柔和であるかもしくはどちらもだ; int2 & int3 -> int4: その体幹部は使い切らないかまたはそれは柔和であるかどちらもである; int4 & fact8 -> int5: この表在性は一分後である; fact12 -> int6: 仮にこの表在性は一分後であるとすると薬草だ; int5 & int6 -> hypothesis; __PROVED__
事実1: その五μＣ／センチメートルは艇だ
事実2: 「何かは打ち始める一方で使い切らない」ということは確かでないとすればそれは予防する
事実3: 「その体幹部は打ち始めるということはない」ということは確かだとしたらそれは使い切るかまたは柔和であるかもしくはどちらもだ
事実4: その五μＣ／センチメートルが艇であるかまたは予防するかあるいは両方ともだとすればその体幹部は打ち始めない
事実5: もしその体幹部が一分後でないとすると打ち始めるかあるいは使い切るかもしくは両方ともだ
事実6: もし仮にその五μＣ／センチメートルは予防するとしたら「その体幹部は打ち始めない」ということは正しい
事実7: もし仮にその五μＣ／センチメートルは艇であるならば「一分後である」ということは確かだ
事実8: もしもその体幹部が使い切らないか柔和であるか両方ともだとするとこの表在性は一分後だ
事実9: もし何かは打ち始めないとするとそれは使い切らないかそれは柔和であるかあるいは両方ともである
事実10: ある物は柔和でないとすると「それは打ち始めるしまた使い切らない」ということは誤りだ
事実11: 何らかの物が予防しないならばそれは薬草であるかあるいは艇であるかまたはどちらもである
事実12: 一分後は薬草である

仮説: この表在性は薬草だ
1. 事実1から、推論1: "その五μＣ／センチメートルは艇であるかもしくは予防するかあるいは両方である"が導かれる
2. 推論1と事実4から、推論2: "その体幹部は打ち始めるということはない"が導かれる
3. 事実9から、推論3: "もしその体幹部が打ち始めないならば使い切らないかそれは柔和であるかもしくはどちらもだ"が導かれる
4. 推論2と推論3から、推論4: "その体幹部は使い切らないかまたはそれは柔和であるかどちらもである"が導かれる
5. 推論4と事実8から、推論5: "この表在性は一分後である"が導かれる
6. 事実12から、推論6: "仮にこの表在性は一分後であるとすると薬草だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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