Erin is nice. Erin is quiet. Erin is smart. Erin is white. Gary is cold. Gary is kind. Gary is quiet. All smart people are cold. If Erin is nice then Erin is kind. White, smart people are kind.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Erin is nice then Erin is kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "+"))
White, smart people are kind.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Erin is kind.
True
2
proof
[(((triple1) -> rule2) OR ((triple4 triple3) -> rule3))]
("Erin" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple4 triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple4 triple3) -> rule3))]
("Erin" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple4 triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is nice.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is cold.[(((triple3) -> rule1))] Erin is kind.[(((triple1) -> rule2) OR ((triple4 triple3) -> rule3))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple4 triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1