Bob is round. Round people are nice. If someone is white and not round then they are nice. All young, furry people are not rough.
Bob is round.
("Bob" "is" "round" "+")
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and not round then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "+"))
All young, furry people are not rough.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "-"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
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 furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is round.[(triple1)] @1: Bob is nice.[(((triple1) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1