Bob is big. Bob is furry. Bob is young. Charlie is not kind. Dave is big. Dave is furry. Harry is green. All young, big things are not kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
All young, big things are not kind.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Bob is not kind.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "kind" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is kind.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "kind" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is young.[(triple3)] Charlie is not kind.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Harry is green.[(triple7)] @1: Bob is not kind.[(((triple3 triple1) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1