「もしも「このＳＩＣはアマンタジンだということはないけどやばい」ということは事実でないならこのＳＩＣは交差し合う」ということは間違いだ
fact1: もし「何らかの物はアマンタジンだということはないけどやばい」ということは誤りならばそれは交差し合う
$facts$ = fact1: もし「何らかの物はアマンタジンだということはないけどやばい」ということは誤りならばそれは交差し合う ; $hypothesis$ = 「もしも「このＳＩＣはアマンタジンだということはないけどやばい」ということは事実でないならこのＳＩＣは交差し合う」ということは間違いだ ; $proof$ = 
事実1: もし「何らかの物はアマンタジンだということはないけどやばい」ということは誤りならばそれは交差し合う

仮説: 「もしも「このＳＩＣはアマンタジンだということはないけどやばい」ということは事実でないならこのＳＩＣは交差し合う」ということは間違いだ