Erin is not kind. Erin is not round. Erin is white. All furry, rough things are blue. If something is rough then it is not blue. All green things are blue. If something is round and not rough then it is white. If Erin is white then Erin is green. All rough things are round. If Erin is not white then Erin is kind. If Erin is white then Erin is not kind.
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
All furry, rough things are blue.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it is not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is round and not rough then it is white.
((("something" "is" "round" "+") ("something" "is" "rough" "~")) -> ("something" "is" "white" "+"))
If Erin is white then Erin is green.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "green" "+"))
All rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Erin is not white then Erin is kind.
((("Erin" "is" "white" "~")) -> ("Erin" "is" "kind" "+"))
If Erin is white then Erin is not kind.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "kind" "-"))
Erin is not round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Erin is round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is green.
True
2
proof
[(((triple3) -> rule5))]
("Erin" "is" "green" "+")
((triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("Erin" "is" "green" "-")
((triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
True
3
proof
[(((((triple3) -> rule5)) -> rule3))]
("Erin" "is" "blue" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule3))]
("Erin" "is" "blue" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is not kind.[(triple1 OR ((triple3) -> rule8))] Erin is not round.[(triple2)] Erin is white.[(triple3)] @1: Erin is green.[(((triple3) -> rule5))] @2: Erin is blue.[(((((triple3) -> rule5)) -> rule3))]
Erin is not kind.
("Erin" "is" "kind" "-")
triple1
((triple3) -> (rule8 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is not round.
("Erin" "is" "round" "-")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2