その尿蛋白はＧＦＳだ
fact1: あのワンクッションは人恋しいがしかしＧＦＳでない fact2: あのワンクッションは広ーくない fact3: あのワンクッションは人恋しいがしかしあどけなくないならば「その尿蛋白はＧＦＳでない」ということは真実だ fact4: その尿蛋白は演じない fact5: その尿蛋白があどけないがしかしＧＦＳでないとすればあのワンクッションは人恋しくない fact6: その尿蛋白はあどけなくない fact7: 仮にその尿蛋白があどけないししかもそれが人恋しいとするとあのワンクッションはＧＦＳであるということはない fact8: どれもこれもは懐っこいしそれは身体状態でない fact9: その尿蛋白は人恋しいが堆くない fact10: もし仮に「そのボランティア活動等はあどけない」ということは本当であるとしたらその尿蛋白は人恋しいということはないＧＦＳである fact11: 全てのものは人恋しいけれどあどけなくない fact12: もし仮にあのワンクッションがＧＦＳであるが人恋しくないならその尿蛋白はあどけなくない
fact11 -> int1: あのワンクッションは人恋しいけれどそれはあどけなくない; int1 & fact3 -> hypothesis;
fact11 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact3 -> hypothesis;
その尿蛋白はＧＦＳだ
$facts$ = fact1: あのワンクッションは人恋しいがしかしＧＦＳでない fact2: あのワンクッションは広ーくない fact3: あのワンクッションは人恋しいがしかしあどけなくないならば「その尿蛋白はＧＦＳでない」ということは真実だ fact4: その尿蛋白は演じない fact5: その尿蛋白があどけないがしかしＧＦＳでないとすればあのワンクッションは人恋しくない fact6: その尿蛋白はあどけなくない fact7: 仮にその尿蛋白があどけないししかもそれが人恋しいとするとあのワンクッションはＧＦＳであるということはない fact8: どれもこれもは懐っこいしそれは身体状態でない fact9: その尿蛋白は人恋しいが堆くない fact10: もし仮に「そのボランティア活動等はあどけない」ということは本当であるとしたらその尿蛋白は人恋しいということはないＧＦＳである fact11: 全てのものは人恋しいけれどあどけなくない fact12: もし仮にあのワンクッションがＧＦＳであるが人恋しくないならその尿蛋白はあどけなくない ; $hypothesis$ = その尿蛋白はＧＦＳだ ; $proof$ = 
fact11 -> int1: あのワンクッションは人恋しいけれどそれはあどけなくない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あのワンクッションは人恋しいがしかしＧＦＳでない
事実2: あのワンクッションは広ーくない
事実3: あのワンクッションは人恋しいがしかしあどけなくないならば「その尿蛋白はＧＦＳでない」ということは真実だ
事実4: その尿蛋白は演じない
事実5: その尿蛋白があどけないがしかしＧＦＳでないとすればあのワンクッションは人恋しくない
事実6: その尿蛋白はあどけなくない
事実7: 仮にその尿蛋白があどけないししかもそれが人恋しいとするとあのワンクッションはＧＦＳであるということはない
事実8: どれもこれもは懐っこいしそれは身体状態でない
事実9: その尿蛋白は人恋しいが堆くない
事実10: もし仮に「そのボランティア活動等はあどけない」ということは本当であるとしたらその尿蛋白は人恋しいということはないＧＦＳである
事実11: 全てのものは人恋しいけれどあどけなくない
事実12: もし仮にあのワンクッションがＧＦＳであるが人恋しくないならその尿蛋白はあどけなくない

仮説: その尿蛋白はＧＦＳだ
1. 事実11から、推論1: "あのワンクッションは人恋しいけれどそれはあどけなくない"が導かれる
2. 推論1と事実3から、仮説が否定される

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