Anne is kind. Erin is furry. Erin is not white. Fiona is not round. Gary is kind. Gary is smart. Gary is not white. Furry people are round. If someone is cold then they are round. Young, smart people are round. White people are furry. All round, cold people are white. If someone is round and not kind then they are smart. White, cold people are smart. If someone is cold and white then they are young.
Anne is kind.
("Anne" "is" "kind" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Young, smart people are round.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All round, cold people are white.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is round and not kind then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "smart" "+"))
White, cold people are smart.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold and white then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Fiona is round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "+")
triple4
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Erin is furry.[(triple2)] Erin is not white.[(triple3)] Fiona is not round.[(triple4)] Gary is kind.[(triple5)] Gary is not white.[(triple7)] Gary is smart.[(triple6)] @1: Erin is round.[(((triple2) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is not white.
("Gary" "is" "white" "-")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1