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