Dave is green. Dave is rough. Erin is green. Erin is white. Erin is young. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. Young things are round. All green, kind things are young. If Erin is young and Erin is not smart then Erin is not kind.
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All green, kind things are young.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If Erin is young and Erin is not smart then Erin is not kind.
((("Erin" "is" "young" "+") ("Erin" "is" "smart" "~")) -> ("Erin" "is" "kind" "-"))
Dave is green.
True
1
proof
[(triple1)]
("Dave" "is" "green" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple3)]
("Erin" "is" "green" "-")
triple3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Erin is green.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((((triple6 triple7) -> rule2)) -> rule1))] Gary is white.[(triple10)] @1: Erin is round.[(((triple5) -> rule1))] Gary is young.[(((triple6 triple7) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1