Bob is rough. If Bob is rough then Bob is nice. If someone is kind and not big then they are young. Smart people are young. If Bob is smart then Bob is red. Smart people are nice. If someone is big and young then they are rough.
Bob is rough.
("Bob" "is" "rough" "+")
If Bob is rough then Bob is nice.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "nice" "+"))
If someone is kind and not big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "young" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Bob is smart then Bob is red.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "red" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
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 nice.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is rough.[(triple1)] @1: Bob is nice.[(((triple1) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1