Anne is smart. Bob is white. Gary is quiet. Rough people are green. Young people are smart. If Anne is smart then Anne is rough.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If Anne is smart then Anne is rough.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "rough" "+"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Anne is rough.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not green.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Anne" "is" "green" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is smart.[(triple1)] Bob is white.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is rough.[(((triple1) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule1))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2