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