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