Bob is not furry. Bob is round. Erin is not blue. Erin is quiet. Erin is rough. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is not round. If something is rough and young then it is furry. Quiet, rough things are not young. If something is green and not blue then it is rough.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is round.
("Bob" "is" "round" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
If something is rough and young then it is furry.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Quiet, rough things are not young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
If something is green and not blue then it is rough.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "rough" "+"))
Bob is not furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Erin is blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Erin is not blue.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is not round.[(triple10)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] @1: Erin is not young.[(((triple4 triple5) -> rule2))] Gary is not young.[(((triple8 triple9) -> rule2))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not round.
("Gary" "is" "round" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Erin is not young.
("Erin" "is" "young" "-")
((triple4 triple5) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple8 triple9) -> (rule2 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1