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