Anne is red. Dave is furry. Dave is not green. Dave is smart. Dave is young. Fiona is not red. Gary is kind. Smart people are kind. If someone is smart and not young then they are furry. If Gary is furry and Gary is smart then Gary is green.
Anne is red.
("Anne" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and not young then they are furry.
((("someone" "is" "smart" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "furry" "+"))
If Gary is furry and Gary is smart then Gary is green.
((("Gary" "is" "furry" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "green" "+"))
Dave is furry.
True
1
proof
[(triple2)]
("Dave" "is" "furry" "+")
triple2
Dave is green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is kind.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is red.[(triple1)] Dave is furry.[(triple2)] Dave is not green.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Fiona is not red.[(triple6)] Gary is kind.[(triple7)] @1: Dave is kind.[(((triple4) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is not green.
("Dave" "is" "green" "-")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1