Dave is cold. Dave is green. Dave is young. Erin is big. Erin is cold. Erin is green. Erin is not rough. Erin is not white. Gary is green. Gary is young. If someone is cold and not big then they are not white. Young, nice people are white. If someone is white and not nice then they are cold. If Erin is young then Erin is green. If Dave is nice then Dave is white. Cold, white people are young.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is not white.
("Erin" "is" "white" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold and not big then they are not white.
((("someone" "is" "cold" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "white" "-"))
Young, nice people are white.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is white and not nice then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "+"))
If Erin is young then Erin is green.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
If Dave is nice then Dave is white.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "white" "+"))
Cold, white people are young.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Erin is green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "+")
triple6
Erin is rough.
False
1
inv-proof
[(triple7)]
("Erin" "is" "rough" "+")
triple7
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is not rough.[(triple7)] Erin is not white.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Erin is not white.
("Erin" "is" "white" "-")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10