Dave is cold. Dave is green. Dave is nice. Erin is green. Erin is nice. Gary is green. Gary is round. If Dave is big and Dave is round then Dave is red.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
If Dave is big and Dave is round then Dave is red.
((("Dave" "is" "big" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "red" "+"))
Erin is green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7