Anne is green. Anne is round. Anne is smart. Bob is rough. Bob is round. Dave is quiet. Erin is kind. If Erin is young and Erin is smart then Erin is green. If someone is round then they are green. If Anne is rough then Anne is kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If Erin is young and Erin is smart then Erin is green.
((("Erin" "is" "young" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "green" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If Anne is rough then Anne is kind.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "kind" "+"))
Dave is quiet.
True
1
proof
[(triple6)]
("Dave" "is" "quiet" "+")
triple6
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Bob is green.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "green" "+")
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "green" "-")
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Anne is green.[(triple1 OR ((triple2) -> rule2))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Dave is quiet.[(triple6)] Erin is kind.[(triple7)] @1: Bob is green.[(((triple5) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1