Anne is nice. Charlie is rough. Erin is young. Gary is blue. If someone is blue and rough then they are young. All blue people are not young. Young, blue people are not round. All young people are round. If someone is kind then they are not big. If Anne is not blue then Anne is not nice. All kind people are rough. If Gary is not young then Gary is not nice.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and rough then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All blue people are not young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
Young, blue people are not round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "-"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are not big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
If Anne is not blue then Anne is not nice.
((("Anne" "is" "blue" "~")) -> ("Anne" "is" "nice" "-"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Gary is not young then Gary is not nice.
((("Gary" "is" "young" "~")) -> ("Gary" "is" "nice" "-"))
Gary is blue.
True
1
proof
[(triple4)]
("Gary" "is" "blue" "+")
triple4
Gary is not blue.
False
1
inv-proof
[(triple4)]
("Gary" "is" "blue" "-")
triple4
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "rough" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is nice.[(triple1)] Charlie is rough.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] @1: Erin is round.[(((triple3) -> rule4))] Gary is not young.[(((triple4) -> rule2))] @2: Gary is not nice.[(((((triple4) -> rule2)) -> rule8))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple4) -> (rule2 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is not young.
("Gary" "is" "young" "-")
int2