Erin is furry. Erin is red. Erin is smart. All red, cold people are blue. If someone is blue then they are cold. Smart people are blue.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All red, cold people are blue.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Erin is not smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "-")
triple3
Erin is blue.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Erin" "is" "cold" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Erin" "is" "cold" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is furry.[(triple1)] Erin is red.[(triple2)] Erin is smart.[(triple3)] @1: Erin is blue.[(((triple3) -> rule3))] @2: Erin is cold.[(((((triple3) -> rule3)) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2