Charlie is cold. Charlie is green. Charlie is white. Dave is kind. Erin is nice. Gary is rough. Gary is round. Nice things are green. If Dave is nice and Dave is round then Dave is white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If Dave is nice and Dave is round then Dave is white.
((("Dave" "is" "nice" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "white" "+"))
Gary is round.
True
1
proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Charlie is not white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "-")
triple3
Erin is green.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "green" "-")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is white.[(triple3)] Dave is kind.[(triple4)] Erin is nice.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Erin is green.[(((triple5) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1