Anne is blue. Anne is furry. Anne is nice. Anne is rough. Anne is white. Erin is rough. Erin is white. If something is nice then it is young. If Anne is rough then Anne is blue. All furry things are round. If something is rough then it is young. If something is blue then it is white. If Erin is young and Erin is blue then Erin is rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Anne is rough then Anne is blue.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "blue" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Erin is young and Erin is blue then Erin is rough.
((("Erin" "is" "young" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple6)]
("Erin" "is" "rough" "+")
triple6
Anne is not rough.
False
1
inv-proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Erin is young.
True
2
proof
[(((triple6) -> rule4))]
("Erin" "is" "young" "+")
((triple6) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple6) -> rule4))]
("Erin" "is" "young" "-")
((triple6) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple4) -> rule2))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5 OR ((triple1) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Erin is rough.[(triple6)] Erin is white.[(triple7)] @1: Anne is round.[(((triple2) -> rule3))] Anne is young.[(((triple3) -> rule1) OR ((triple4) -> rule4))] Erin is young.[(((triple6) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple3) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple4) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1