Anne is not furry. Bob is furry. Gary is rough. All furry things are red. Quiet things are not red. Rough things are quiet.
Anne is not furry.
("Anne" "is" "furry" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Quiet things are not red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "-"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Anne is furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Gary is quiet.
True
2
proof
[(((triple3) -> rule3))]
("Gary" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple3) -> rule3))]
("Gary" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not red.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Gary" "is" "red" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Gary" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "+")
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is not furry.[(triple1)] Bob is furry.[(triple2)] Gary is rough.[(triple3)] @1: Bob is red.[(((triple2) -> rule1))] Gary is quiet.[(((triple3) -> rule3))] @2: Gary is not red.[(((((triple3) -> rule3)) -> rule2))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2