Bob is big. Bob is furry. Bob is round. Young, blue people are kind. All blue, nice people are not kind. Blue people are kind. If someone is round then they are not young. All big, kind people are not nice. If Bob is not kind then Bob is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Young, blue people are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All blue, nice people are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is round then they are not young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "-"))
All big, kind people are not nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
If Bob is not kind then Bob is furry.
((("Bob" "is" "kind" "~")) -> ("Bob" "is" "furry" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is round.[(triple3)] @1: Bob is not young.[(((triple3) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is not young.
("Bob" "is" "young" "-")
((triple3) -> (rule4 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1