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