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