Anne is not blue. Anne is furry. Anne is white. Erin is rough. Fiona is blue. Gary is round. Gary is white. All white people are nice. Rough, white people are not nice. Rough people are not blue. If someone is furry and rough then they are not round. If someone is rough then they are not round. If Anne is white then Anne is not rough. All round, furry people are not white. All nice people are white.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Rough, white people are not nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
Rough people are not blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
If someone is furry and rough then they are not round.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If someone is rough then they are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If Anne is white then Anne is not rough.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "rough" "-"))
All round, furry people are not white.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "-"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Erin is rough.
True
1
proof
[(triple4)]
("Erin" "is" "rough" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Erin" "is" "nice" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is white.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Anne is nice.[(((triple3) -> rule1))] Anne is not rough.[(((triple3) -> rule6))] Erin is not blue.[(((triple4) -> rule3))] Erin is not round.[(((triple4) -> rule5))] Gary is nice.[(((triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not rough.
("Anne" "is" "rough" "-")
((triple3) -> (rule6 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Erin is not blue.
("Erin" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is not round.
("Erin" "is" "round" "-")
((triple4) -> (rule5 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1