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