Anne is not nice. Anne is rough. Anne is not young. Bob is blue. Bob is nice. Bob is rough. Bob is young. Charlie is furry. Charlie is rough. Dave is kind. Dave is smart. Dave is young. If someone is smart and not young then they are nice. If someone is nice then they are not furry.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
If someone is smart and not young then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are not furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
Dave is kind.
True
1
proof
[(triple10)]
("Dave" "is" "kind" "+")
triple10
Anne is nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Bob is not furry.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "furry" "-")
((triple5) -> (rule2 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is furry.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is not nice.[(triple1)] Anne is not young.[(triple3)] Anne is rough.[(triple2)] Bob is blue.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is rough.[(triple9)] Dave is kind.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] @1: Bob is not furry.[(((triple5) -> rule2))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
Bob is not furry.
("Bob" "is" "furry" "-")
((triple5) -> (rule2 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1