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