Anne is kind. Anne is young. Bob is not furry. Bob is round. Dave is cold. Dave is furry. Dave is green. All kind people are furry. If Dave is smart and Dave is not green then Dave is not cold. If someone is furry and kind then they are round. All furry people are cold. If Bob is young then Bob is smart. If someone is kind and green then they are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
All kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Dave is smart and Dave is not green then Dave is not cold.
((("Dave" "is" "smart" "+") ("Dave" "is" "green" "~")) -> ("Dave" "is" "cold" "-"))
If someone is furry and kind then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Bob is young then Bob is smart.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "smart" "+"))
If someone is kind and green then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Bob is not furry.
True
1
proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Bob is not furry.[(triple3)] Bob is round.[(triple4)] Dave is cold.[(triple5 OR ((triple6) -> rule4))] Dave is furry.[(triple6)] Dave is green.[(triple7)] @1: Anne is furry.[(((triple1) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule4))] Anne is round.[(((((triple1) -> rule1) triple1) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2