Anne is not quiet. Anne is white. Anne is young. Bob is nice. Bob is quiet. Bob is round. Erin is nice. Erin is quiet. Erin is red. Erin is round. If someone is nice and not red then they are quiet. If Erin is not white and Erin is not round then Erin is young. All round people are green.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
If someone is nice and not red then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "+"))
If Erin is not white and Erin is not round then Erin is young.
((("Erin" "is" "white" "~") ("Erin" "is" "round" "~")) -> ("Erin" "is" "young" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Erin is red.
True
1
proof
[(triple9)]
("Erin" "is" "red" "+")
triple9
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is not quiet.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] @1: Bob is green.[(((triple6) -> rule3))] Erin is green.[(((triple10) -> rule3))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple6) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple10) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1