Erin is nice. Erin is quiet. Erin is not rough. If Erin is rough and Erin is round then Erin is white. Quiet people are white. If someone is rough and not nice then they are not white. White people are cold. If someone is smart then they are cold. Smart people are quiet. Rough, cold people are smart. If Erin is nice and Erin is white then Erin is cold.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
If Erin is rough and Erin is round then Erin is white.
((("Erin" "is" "rough" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "white" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is rough and not nice then they are not white.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "-"))
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Rough, cold people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Erin is nice and Erin is white then Erin is cold.
((("Erin" "is" "nice" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "cold" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Erin is white.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "white" "+")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "white" "-")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
True
3
proof
[(((((triple2) -> rule2)) -> rule4) OR ((triple1 ((triple2) -> rule2)) -> rule8))]
("Erin" "is" "cold" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple1 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule4) OR ((triple1 ((triple2) -> rule2)) -> rule8))]
("Erin" "is" "cold" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple1 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is nice.[(triple1)] Erin is not rough.[(triple3)] Erin is quiet.[(triple2)] @1: Erin is white.[(((triple2) -> rule2))] @2: Erin is cold.[(((((triple2) -> rule2)) -> rule4) OR ((triple1 ((triple2) -> rule2)) -> rule8))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is not rough.
("Erin" "is" "rough" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple1 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2