Anne is green. Anne is kind. Anne is young. Fiona is kind. Fiona is nice. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is young. If Fiona is kind then Fiona is not quiet. If Anne is not quiet and Anne is not young then Anne is red.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is kind then Fiona is not quiet.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "-"))
If Anne is not quiet and Anne is not young then Anne is red.
((("Anne" "is" "quiet" "~") ("Anne" "is" "young" "~")) -> ("Anne" "is" "red" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "-")
triple5
Fiona is not quiet.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is quiet.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is young.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Fiona is not quiet.[(((triple4) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1