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