Bob is furry. Bob is not green. Bob is nice. Bob is quiet. Bob is young. Harry is nice. Harry is not quiet. If Harry is nice then Harry is young. Nice people are furry. If someone is nice and not green then they are not white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If Harry is nice then Harry is young.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "young" "+"))
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and not green then they are not white.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "white" "-"))
Bob is not green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is furry.[(triple1 OR ((triple3) -> rule2))] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Harry is nice.[(triple6)] Harry is not quiet.[(triple7)] @1: Bob is not white.[(((triple3 triple2) -> rule3))] Harry is furry.[(((triple6) -> rule2))] Harry is young.[(((triple6) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple7
Bob is not white.
("Bob" "is" "white" "-")
((triple3 triple2) -> (rule3 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1