Erin is white. All red people are not smart. Rough people are smart. White people are rough. If Erin is rough and Erin is big then Erin is not cold. Smart, white people are blue. Smart people are not red.
Erin is white.
("Erin" "is" "white" "+")
All red people are not smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If Erin is rough and Erin is big then Erin is not cold.
((("Erin" "is" "rough" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "cold" "-"))
Smart, white people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Smart people are not red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "-"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Erin is not white.
False
1
inv-proof
[(triple1)]
("Erin" "is" "white" "-")
triple1
Erin is rough.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Erin" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Erin" "is" "smart" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
True
5
proof
[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))]
("Erin" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is not blue.
False
5
inv-proof
[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))]
("Erin" "is" "blue" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is white.[(triple1)] @1: Erin is rough.[(((triple1) -> rule3))] @2: Erin is smart.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is blue.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))] Erin is not red.[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is not red.
("Erin" "is" "red" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3