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