この自由民権運動は逢い引きしない
fact1: この児童生徒一人一人は蟠る fact2: この自由民権運動は蟠る fact3: 仮にその補償給付がビデオファイルであるがしかし逢い引きしないとしたらこの自由民権運動は蟠る fact4: その補償給付は目覚ましいけど根深くない fact5: この自由民権運動はビデオファイルだ fact6: その補償給付はビデオファイルでない fact7: この自由民権運動は内科病棟である fact8: その補償給付は蟠る fact9: 仮にその補償給付が蟠る一方でビデオファイルでないとしたらこの自由民権運動は逢い引きする fact10: もしもその補償給付が蟠る一方で逢い引きしないならこの自由民権運動はビデオファイルである fact11: もし「なんらかの物は合わせ持たないけどビデオファイルだ」ということは間違いだとすると「それはビデオファイルでない」ということは正しい fact12: その第一次上海事変は蟠る
fact8 & fact6 -> int1: 「その補償給付は蟠るけどビデオファイルでない」ということは事実だ; int1 & fact9 -> hypothesis;
fact8 & fact6 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact9 -> hypothesis;
この自由民権運動は逢い引きしない
fact13 -> int2: もし「この自由民権運動は合わせ持たないがしかしビデオファイルだ」ということは成り立たないとするとビデオファイルでない;
$facts$ = fact1: この児童生徒一人一人は蟠る fact2: この自由民権運動は蟠る fact3: 仮にその補償給付がビデオファイルであるがしかし逢い引きしないとしたらこの自由民権運動は蟠る fact4: その補償給付は目覚ましいけど根深くない fact5: この自由民権運動はビデオファイルだ fact6: その補償給付はビデオファイルでない fact7: この自由民権運動は内科病棟である fact8: その補償給付は蟠る fact9: 仮にその補償給付が蟠る一方でビデオファイルでないとしたらこの自由民権運動は逢い引きする fact10: もしもその補償給付が蟠る一方で逢い引きしないならこの自由民権運動はビデオファイルである fact11: もし「なんらかの物は合わせ持たないけどビデオファイルだ」ということは間違いだとすると「それはビデオファイルでない」ということは正しい fact12: その第一次上海事変は蟠る ; $hypothesis$ = この自由民権運動は逢い引きしない ; $proof$ = 
fact8 & fact6 -> int1: 「その補償給付は蟠るけどビデオファイルでない」ということは事実だ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: この児童生徒一人一人は蟠る
事実2: この自由民権運動は蟠る
事実3: 仮にその補償給付がビデオファイルであるがしかし逢い引きしないとしたらこの自由民権運動は蟠る
事実4: その補償給付は目覚ましいけど根深くない
事実5: この自由民権運動はビデオファイルだ
事実6: その補償給付はビデオファイルでない
事実7: この自由民権運動は内科病棟である
事実8: その補償給付は蟠る
事実9: 仮にその補償給付が蟠る一方でビデオファイルでないとしたらこの自由民権運動は逢い引きする
事実10: もしもその補償給付が蟠る一方で逢い引きしないならこの自由民権運動はビデオファイルである
事実11: もし「なんらかの物は合わせ持たないけどビデオファイルだ」ということは間違いだとすると「それはビデオファイルでない」ということは正しい
事実12: その第一次上海事変は蟠る

仮説: この自由民権運動は逢い引きしない
1. 事実8と事実6から、推論1: "「その補償給付は蟠るけどビデオファイルでない」ということは事実だ"が導かれる
2. 推論1と事実9から、仮説が否定される

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