Anne is rough. Bob is nice. Dave is not young. Erin is big. All rough things are not young. White things are young. All white, big things are not furry.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is big.
("Erin" "is" "big" "+")
All rough things are not young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
White things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All white, big things are not furry.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "-"))
Dave is not young.
True
1
proof
[(triple3)]
("Dave" "is" "young" "-")
triple3
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Anne is not young.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "-")
((triple1) -> (rule1 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Dave is not young.[(triple3)] Erin is big.[(triple4)] @1: Anne is not young.[(((triple1) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Dave is not young.
("Dave" "is" "young" "-")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Anne is not young.
("Anne" "is" "young" "-")
((triple1) -> (rule1 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1