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