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