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