Bob is not big. Bob is nice. Charlie is furry. Charlie is kind. Charlie is white. Charlie is young. Dave is big. Dave is kind. Dave is round. Dave is white. All nice people are not kind. If Bob is white then Bob is big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
All nice people are not kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
If Bob is white then Bob is big.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "big" "+"))
Dave is white.
True
1
proof
[(triple10)]
("Dave" "is" "white" "+")
triple10
Charlie is not young.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "young" "-")
triple6
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is nice.[(triple2)] Bob is not big.[(triple1)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] @1: Bob is not kind.[(((triple2) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Bob is not kind.
("Bob" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1