Anne is young. Charlie is round. Erin is young. Gary is furry. If someone is young then they are round. If Gary is blue and Gary is young then Gary is round.
Anne is young.
("Anne" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If Gary is blue and Gary is young then Gary is round.
((("Gary" "is" "blue" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Erin is round.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "round" "+")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "round" "-")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is young.[(triple1)] Charlie is round.[(triple2)] Erin is young.[(triple3)] Gary is furry.[(triple4)] @1: Anne is round.[(((triple1) -> rule1))] Erin is round.[(((triple3) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1