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