Anne is not kind. Anne is not nice. Anne is not round. Anne is not young. Fiona is nice. Fiona is young. Gary is nice. If Gary is furry and Gary is kind then Gary is not nice. If something is furry then it is green. If Gary is nice and Gary is not green then Gary is young. All nice things are young. If something is kind and not green then it is young. All young things are round. Furry things are round. If something is green and not young then it is quiet.
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Gary is furry and Gary is kind then Gary is not nice.
((("Gary" "is" "furry" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "nice" "-"))
If something is furry then it is green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Gary is nice and Gary is not green then Gary is young.
((("Gary" "is" "nice" "+") ("Gary" "is" "green" "~")) -> ("Gary" "is" "young" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is kind and not green then it is young.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is green and not young then it is quiet.
((("something" "is" "green" "+") ("something" "is" "young" "~")) -> ("something" "is" "quiet" "+"))
Anne is not kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Gary is young.
True
2
proof
[(((triple7) -> rule4))]
("Gary" "is" "young" "+")
((triple7) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple7) -> rule4))]
("Gary" "is" "young" "-")
((triple7) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "quiet" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is not kind.[(triple1)] Anne is not nice.[(triple2)] Anne is not round.[(triple3)] Anne is not young.[(triple4)] Fiona is nice.[(triple5)] Fiona is young.[(triple6 OR ((triple5) -> rule4))] Gary is nice.[(triple7)] @1: Fiona is round.[(((triple6) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] Gary is young.[(((triple7) -> rule4))] @2: Gary is round.[(((((triple7) -> rule4)) -> rule6))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2