その文脈自由言語は引用でない
fact1: あの職人さんは全責任だ fact2: もしもその文脈自由言語が全責任であるかあるいはそれが想到しないとすると引用である fact3: その文脈自由言語は若者らしい fact4: 「その文脈自由言語は全責任であるかあるいは想到するか両方だ」ということは真実だ fact5: 仮にその文脈自由言語が若者らしいしさらにそれが逆立つとしたらそれは想到しない fact6: 「その文脈自由言語は識別する」ということは成り立つ fact7: もし仮に「なんらかのものは若者らしいしそれは引用だ」ということは成り立たないならばそれは引用でない fact8: あの律法学者は逆立つ fact9: その文脈自由言語は逆立つ
fact3 & fact9 -> int1: その文脈自由言語は若者らしいし逆立つ; int1 & fact5 -> int2: その文脈自由言語は想到しない; int2 -> int3: その文脈自由言語は全責任であるかあるいはそれは想到しないかあるいは両方である; int3 & fact2 -> hypothesis;
その文脈自由言語は引用でない
fact10 -> int4: もし仮に「その文脈自由言語は若者らしいし更に引用である」ということは嘘であるとすると引用でない;
$facts$ = fact1: あの職人さんは全責任だ fact2: もしもその文脈自由言語が全責任であるかあるいはそれが想到しないとすると引用である fact3: その文脈自由言語は若者らしい fact4: 「その文脈自由言語は全責任であるかあるいは想到するか両方だ」ということは真実だ fact5: 仮にその文脈自由言語が若者らしいしさらにそれが逆立つとしたらそれは想到しない fact6: 「その文脈自由言語は識別する」ということは成り立つ fact7: もし仮に「なんらかのものは若者らしいしそれは引用だ」ということは成り立たないならばそれは引用でない fact8: あの律法学者は逆立つ fact9: その文脈自由言語は逆立つ ; $hypothesis$ = その文脈自由言語は引用でない ; $proof$ = 
fact3 & fact9 -> int1: その文脈自由言語は若者らしいし逆立つ; int1 & fact5 -> int2: その文脈自由言語は想到しない; int2 -> int3: その文脈自由言語は全責任であるかあるいはそれは想到しないかあるいは両方である; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: あの職人さんは全責任だ
事実2: もしもその文脈自由言語が全責任であるかあるいはそれが想到しないとすると引用である
事実3: その文脈自由言語は若者らしい
事実4: 「その文脈自由言語は全責任であるかあるいは想到するか両方だ」ということは真実だ
事実5: 仮にその文脈自由言語が若者らしいしさらにそれが逆立つとしたらそれは想到しない
事実6: 「その文脈自由言語は識別する」ということは成り立つ
事実7: もし仮に「なんらかのものは若者らしいしそれは引用だ」ということは成り立たないならばそれは引用でない
事実8: あの律法学者は逆立つ
事実9: その文脈自由言語は逆立つ

仮説: その文脈自由言語は引用でない
1. 事実3と事実9から、推論1: "その文脈自由言語は若者らしいし逆立つ"が導かれる
2. 推論1と事実5から、推論2: "その文脈自由言語は想到しない"が導かれる
3. 推論2から、推論3: "その文脈自由言語は全責任であるかあるいはそれは想到しないかあるいは両方である"が導かれる
4. 推論3と事実2から、仮説が否定される

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