Bob is not big. Bob is kind. Bob is young. Charlie is not big. Charlie is kind. Erin is not rough. Gary is nice. If someone is kind and not nice then they are rough. Furry people are rough. If someone is kind and furry then they are rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is kind and not nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "rough" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and furry then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Bob is not big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is kind.[(triple2)] Bob is not big.[(triple1)] Bob is young.[(triple3)] Charlie is kind.[(triple5)] Charlie is not big.[(triple4)] Erin is not rough.[(triple6)] Gary is nice.[(triple7)]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is not big.
("Charlie" "is" "big" "-")
triple4
Erin is not rough.
("Erin" "is" "rough" "-")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7