Anne is big. Dave is young. Fiona is not young. If Dave is cold and Dave is not young then Dave is kind. If someone is blue and big then they are cold. Young people are furry. If Fiona is cold and Fiona is furry then Fiona is not quiet. All cold people are not kind. If Anne is big and Anne is not furry then Anne is quiet.
Anne is big.
("Anne" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Dave is cold and Dave is not young then Dave is kind.
((("Dave" "is" "cold" "+") ("Dave" "is" "young" "~")) -> ("Dave" "is" "kind" "+"))
If someone is blue and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is cold and Fiona is furry then Fiona is not quiet.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "-"))
All cold people are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
If Anne is big and Anne is not furry then Anne is quiet.
((("Anne" "is" "big" "+") ("Anne" "is" "furry" "~")) -> ("Anne" "is" "quiet" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Dave is furry.
True
2
proof
[(((triple2) -> rule3))]
("Dave" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple2) -> rule3))]
("Dave" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is big.[(triple1)] Dave is young.[(triple2)] Fiona is not young.[(triple3)] @1: Dave is furry.[(((triple2) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is not young.
("Fiona" "is" "young" "-")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1