Dave is kind. Dave is nice. Dave is white. Erin is white. Erin is young. Fiona is round. Fiona is not young. Gary is nice. Gary is red. Gary is not white. If Dave is not young then Dave is red. If something is young and not nice then it is red. If Gary is cold and Gary is red then Gary is kind.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not white.
("Gary" "is" "white" "-")
If Dave is not young then Dave is red.
((("Dave" "is" "young" "~")) -> ("Dave" "is" "red" "+"))
If something is young and not nice then it is red.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If Gary is cold and Gary is red then Gary is kind.
((("Gary" "is" "cold" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "+")
triple9
Dave is not nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is not young.[(triple7)] Fiona is round.[(triple6)] Gary is nice.[(triple8)] Gary is not white.[(triple10)] Gary is red.[(triple9)]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not white.
("Gary" "is" "white" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9