Anne is kind. Anne is quiet. Anne is round. Anne is white. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is young. Erin is green. Erin is kind. Erin is white. Fiona is kind. Fiona is white. Fiona is young. If something is young and not kind then it is quiet. If something is young and not round then it is quiet. If Anne is quiet and Anne is white then Anne is young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is young and not kind then it is quiet.
((("something" "is" "young" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "+"))
If something is young and not round then it is quiet.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "quiet" "+"))
If Anne is quiet and Anne is white then Anne is young.
((("Anne" "is" "quiet" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "young" "+"))
Dave is red.
True
1
proof
[(triple7)]
("Dave" "is" "red" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple11)]
("Erin" "is" "green" "-")
triple11
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is white.[(triple13)] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Anne is young.[(((triple2 triple4) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Anne is young.
("Anne" "is" "young" "+")
((triple2 triple4) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1