「その逆立ちは時価評価しない」ということは事実だ
fact1: もし仮になにかは回復するということはないかそれは労働強化であるかあるいは両方であるならば時価評価する fact2: むさくるしくないものは時価評価するということはない一方で御し易い fact3: 仮に「その逆立ちは御し易い」ということは確かだとしたらそれは回復するかあるいは労働強化であるかあるいはどちらもである fact4: もしもその逆立ちは回復しないとしたら「時価評価する」ということは誤りでない fact5: 仮にその逆立ちが御し易いなら回復しないかまたは労働強化であるかあるいは両方ともだ fact6: もしも「その逆立ちは解析プログラムでない」ということは確かであるとすると安定しないかまたは味わい深いかまたは両方ともだ fact7: その逆立ちは御し易い fact8: 仮に「何かは小松でないが経済的基盤である」ということは誤りであるとすればむさくるしくない fact9: 「もしも「その我慢強さは経済的基盤であるかまたは小松でない」ということは間違っているとするとその逆立ちはむさくるしくない」ということは事実である fact10: もし何かは回復するということはないとすると時価評価する fact11: 「その逆立ちは回復するかまたは労働強化であるか両方ともである」ということは事実だ fact12: もしなんらかのものは味わい深いならば「それは小松でないけれど経済的基盤だ」ということは誤っている fact13: もし仮にその逆立ちが安定するということはないかあるいはそれは味わい深いかあるいは両方だとすると味わい深い fact14: もしその逆立ちがむさくるしくないとするとこの八十年代初頭は御し易いしさらにそれは時価評価する fact15: その我慢強さは解析プログラムである
fact5 & fact7 -> int1: その逆立ちは回復しないか労働強化であるかもしくはどちらもである; fact1 -> int2: もしも「その逆立ちは回復しないかもしくは労働強化であるかもしくはどちらもだ」ということは成り立つなら時価評価する; int1 & int2 -> hypothesis;
この八十年代初頭は御し易い
$facts$ = fact1: もし仮になにかは回復するということはないかそれは労働強化であるかあるいは両方であるならば時価評価する fact2: むさくるしくないものは時価評価するということはない一方で御し易い fact3: 仮に「その逆立ちは御し易い」ということは確かだとしたらそれは回復するかあるいは労働強化であるかあるいはどちらもである fact4: もしもその逆立ちは回復しないとしたら「時価評価する」ということは誤りでない fact5: 仮にその逆立ちが御し易いなら回復しないかまたは労働強化であるかあるいは両方ともだ fact6: もしも「その逆立ちは解析プログラムでない」ということは確かであるとすると安定しないかまたは味わい深いかまたは両方ともだ fact7: その逆立ちは御し易い fact8: 仮に「何かは小松でないが経済的基盤である」ということは誤りであるとすればむさくるしくない fact9: 「もしも「その我慢強さは経済的基盤であるかまたは小松でない」ということは間違っているとするとその逆立ちはむさくるしくない」ということは事実である fact10: もし何かは回復するということはないとすると時価評価する fact11: 「その逆立ちは回復するかまたは労働強化であるか両方ともである」ということは事実だ fact12: もしなんらかのものは味わい深いならば「それは小松でないけれど経済的基盤だ」ということは誤っている fact13: もし仮にその逆立ちが安定するということはないかあるいはそれは味わい深いかあるいは両方だとすると味わい深い fact14: もしその逆立ちがむさくるしくないとするとこの八十年代初頭は御し易いしさらにそれは時価評価する fact15: その我慢強さは解析プログラムである ; $hypothesis$ = 「その逆立ちは時価評価しない」ということは事実だ ; $proof$ = 
fact5 & fact7 -> int1: その逆立ちは回復しないか労働強化であるかもしくはどちらもである; fact1 -> int2: もしも「その逆立ちは回復しないかもしくは労働強化であるかもしくはどちらもだ」ということは成り立つなら時価評価する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは回復するということはないかそれは労働強化であるかあるいは両方であるならば時価評価する
事実2: むさくるしくないものは時価評価するということはない一方で御し易い
事実3: 仮に「その逆立ちは御し易い」ということは確かだとしたらそれは回復するかあるいは労働強化であるかあるいはどちらもである
事実4: もしもその逆立ちは回復しないとしたら「時価評価する」ということは誤りでない
事実5: 仮にその逆立ちが御し易いなら回復しないかまたは労働強化であるかあるいは両方ともだ
事実6: もしも「その逆立ちは解析プログラムでない」ということは確かであるとすると安定しないかまたは味わい深いかまたは両方ともだ
事実7: その逆立ちは御し易い
事実8: 仮に「何かは小松でないが経済的基盤である」ということは誤りであるとすればむさくるしくない
事実9: 「もしも「その我慢強さは経済的基盤であるかまたは小松でない」ということは間違っているとするとその逆立ちはむさくるしくない」ということは事実である
事実10: もし何かは回復するということはないとすると時価評価する
事実11: 「その逆立ちは回復するかまたは労働強化であるか両方ともである」ということは事実だ
事実12: もしなんらかのものは味わい深いならば「それは小松でないけれど経済的基盤だ」ということは誤っている
事実13: もし仮にその逆立ちが安定するということはないかあるいはそれは味わい深いかあるいは両方だとすると味わい深い
事実14: もしその逆立ちがむさくるしくないとするとこの八十年代初頭は御し易いしさらにそれは時価評価する
事実15: その我慢強さは解析プログラムである

仮説: 「その逆立ちは時価評価しない」ということは事実だ
1. 事実5と事実7から、推論1: "その逆立ちは回復しないか労働強化であるかもしくはどちらもである"が導かれる
2. 事実1から、推論2: "もしも「その逆立ちは回復しないかもしくは労働強化であるかもしくはどちらもだ」ということは成り立つなら時価評価する"が導かれる
3. 推論1と推論2から、仮説が否定される

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