この生体は台車枠だ
fact1: この生体は台車枠であるかもしくは罹患し易くないとすれば「その私達全員は衝突時だ」ということは成り立つ fact2: 仮にこの生体が罹患し易いかあるいはそれが文学者達でないとすればあの私達全員は台車枠である fact3: その私達全員は文学者達だ fact4: この結合利潤は台車枠である fact5: この生体は遅行する fact6: その私達全員は心理的問題で衝突時である fact7: もしもなにかは台車枠でないならば衝突時でないしおまけにそれは文学者達である fact8: その私達全員は罹患し易いか衝突時である fact9: 「文学者達である」物があるならばあの生体は罹患し易いということはない fact10: もしもその私達全員が衝突時だということはないならばあの生体は台車枠だ fact11: この土地所有者は罹患し易い fact12: その私達全員は罹患し易いし加えてそれは文学者達だ fact13: もし仮に何らかのものは罹患し易くないとすると魅惑するし加えて灯し難い fact14: 仮にこの生体が自衛手段でないとしたら文学者達で加えてそれは衝突時だ fact15: 仮にその私達全員が罹患し易いか衝突時でないかまたは両方ともであるとするとこの生体は台車枠だ fact16: もし仮にその私達全員は加算値でないならそれは台車枠でない一方で自衛手段だ
fact12 -> int1: その私達全員は罹患し易い; int1 -> int2: その私達全員は罹患し易いか衝突時であるということはない; int2 & fact15 -> hypothesis;
fact12 -> int1: {A}{a}; int1 -> int2: ({A}{a} v ¬{C}{a}); int2 & fact15 -> hypothesis;
この生体は魅惑するしそれは灯し難い
fact20 -> int3: もし仮にこの生体は罹患し易くないとすればそれは魅惑するし灯し難い; fact17 -> int4: 仮にその私達全員が台車枠でないならそれは衝突時でないしさらにそれは文学者達である;
$facts$ = fact1: この生体は台車枠であるかもしくは罹患し易くないとすれば「その私達全員は衝突時だ」ということは成り立つ fact2: 仮にこの生体が罹患し易いかあるいはそれが文学者達でないとすればあの私達全員は台車枠である fact3: その私達全員は文学者達だ fact4: この結合利潤は台車枠である fact5: この生体は遅行する fact6: その私達全員は心理的問題で衝突時である fact7: もしもなにかは台車枠でないならば衝突時でないしおまけにそれは文学者達である fact8: その私達全員は罹患し易いか衝突時である fact9: 「文学者達である」物があるならばあの生体は罹患し易いということはない fact10: もしもその私達全員が衝突時だということはないならばあの生体は台車枠だ fact11: この土地所有者は罹患し易い fact12: その私達全員は罹患し易いし加えてそれは文学者達だ fact13: もし仮に何らかのものは罹患し易くないとすると魅惑するし加えて灯し難い fact14: 仮にこの生体が自衛手段でないとしたら文学者達で加えてそれは衝突時だ fact15: 仮にその私達全員が罹患し易いか衝突時でないかまたは両方ともであるとするとこの生体は台車枠だ fact16: もし仮にその私達全員は加算値でないならそれは台車枠でない一方で自衛手段だ ; $hypothesis$ = この生体は台車枠だ ; $proof$ = 
fact12 -> int1: その私達全員は罹患し易い; int1 -> int2: その私達全員は罹患し易いか衝突時であるということはない; int2 & fact15 -> hypothesis; __PROVED__
事実1: この生体は台車枠であるかもしくは罹患し易くないとすれば「その私達全員は衝突時だ」ということは成り立つ
事実2: 仮にこの生体が罹患し易いかあるいはそれが文学者達でないとすればあの私達全員は台車枠である
事実3: その私達全員は文学者達だ
事実4: この結合利潤は台車枠である
事実5: この生体は遅行する
事実6: その私達全員は心理的問題で衝突時である
事実7: もしもなにかは台車枠でないならば衝突時でないしおまけにそれは文学者達である
事実8: その私達全員は罹患し易いか衝突時である
事実9: 「文学者達である」物があるならばあの生体は罹患し易いということはない
事実10: もしもその私達全員が衝突時だということはないならばあの生体は台車枠だ
事実11: この土地所有者は罹患し易い
事実12: その私達全員は罹患し易いし加えてそれは文学者達だ
事実13: もし仮に何らかのものは罹患し易くないとすると魅惑するし加えて灯し難い
事実14: 仮にこの生体が自衛手段でないとしたら文学者達で加えてそれは衝突時だ
事実15: 仮にその私達全員が罹患し易いか衝突時でないかまたは両方ともであるとするとこの生体は台車枠だ
事実16: もし仮にその私達全員は加算値でないならそれは台車枠でない一方で自衛手段だ

仮説: この生体は台車枠だ
1. 事実12から、推論1: "その私達全員は罹患し易い"が導かれる
2. 推論1から、推論2: "その私達全員は罹患し易いか衝突時であるということはない"が導かれる
3. 推論2と事実15から、仮説が導かれる

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