Anne is white. Fiona is not smart. Harry is white. If someone is white then they are quiet. If someone is blue and quiet then they are green.
Anne is white.
("Anne" "is" "white" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is white then they are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue and quiet then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Harry is not white.
False
1
inv-proof
[(triple3)]
("Harry" "is" "white" "-")
triple3
Anne is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple3) -> rule1))]
("Harry" "is" "quiet" "-")
((triple3) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Anne is white.[(triple1)] Fiona is not smart.[(triple2)] Harry is white.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule1))] Harry is quiet.[(((triple3) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1