Anne is green. Anne is kind. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is young. All young things are quiet.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Fiona is not kind.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "kind" "-")
triple5
Fiona is quiet.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is quiet.[(((triple7) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1