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