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