Erin is not kind. Erin is not nice. Erin is smart. Erin is not white. Fiona is not cold. Fiona is not kind. Fiona is smart. Fiona is white. Fiona is young. Gary is not cold. Gary is kind. Gary is smart. If Erin is white then Erin is not young. If Gary is smart then Gary is not white. All furry, nice things are not white.
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is white then Erin is not young.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "young" "-"))
If Gary is smart then Gary is not white.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "white" "-"))
All furry, nice things are not white.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "-"))
Erin is not white.
True
1
proof
[(triple4)]
("Erin" "is" "white" "-")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Gary is not white.
True
2
proof
[(((triple12) -> rule2))]
("Gary" "is" "white" "-")
((triple12) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is white.
False
2
inv-proof
[(((triple12) -> rule2))]
("Gary" "is" "white" "+")
((triple12) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is not kind.[(triple1)] Erin is not nice.[(triple2)] Erin is not white.[(triple4)] Erin is smart.[(triple3)] Fiona is not cold.[(triple5)] Fiona is not kind.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is kind.[(triple11)] Gary is not cold.[(triple10)] Gary is smart.[(triple12)] @1: Gary is not white.[(((triple12) -> rule2))]
Erin is not kind.
("Erin" "is" "kind" "-")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is not cold.
("Gary" "is" "cold" "-")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Gary is not white.
("Gary" "is" "white" "-")
((triple12) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1