Anne is nice. Charlie is white. Erin is furry. Gary is round. If something is furry then it is young. If something is young then it is round.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Charlie is not white.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "white" "-")
triple2
Erin is young.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "young" "+")
((triple3) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "young" "-")
((triple3) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Erin" "is" "round" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not round.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Erin" "is" "round" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is nice.[(triple1)] Charlie is white.[(triple2)] Erin is furry.[(triple3)] Gary is round.[(triple4)] @1: Erin is young.[(((triple3) -> rule1))] @2: Erin is round.[(((((triple3) -> rule1)) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2