Charlie is not big. Charlie is blue. Dave is green. Dave is not kind. Erin is kind. Erin is rough. Gary is kind. If something is rough and kind then it is young. If something is young and not blue then it is big.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is rough and kind then it is young.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is young and not blue then it is big.
((("something" "is" "young" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
Dave is not kind.
True
1
proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Erin is young.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Erin" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Erin" "is" "young" "-")
((triple6 triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is blue.[(triple2)] Charlie is not big.[(triple1)] Dave is green.[(triple3)] Dave is not kind.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Gary is kind.[(triple7)] @1: Erin is young.[(((triple6 triple5) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not kind.
("Dave" "is" "kind" "-")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1