Bob is not big. Bob is furry. Bob is green. Bob is not kind. Bob is smart. Gary is big. Gary is furry. Gary is not green. Gary is kind. Gary is quiet. If something is green and not red then it is furry. Kind, big things are furry. If Gary is quiet then Gary is kind. All kind, red things are not green. If Gary is smart and Gary is red then Gary is green. If Bob is big and Bob is not furry then Bob is not smart.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is green and not red then it is furry.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "is" "furry" "+"))
Kind, big things are furry.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Gary is quiet then Gary is kind.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "kind" "+"))
All kind, red things are not green.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "-"))
If Gary is smart and Gary is red then Gary is green.
((("Gary" "is" "smart" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "green" "+"))
If Bob is big and Bob is not furry then Bob is not smart.
((("Bob" "is" "big" "+") ("Bob" "is" "furry" "~")) -> ("Bob" "is" "smart" "-"))
Bob is not kind.
True
1
proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not kind.[(triple4)] Bob is smart.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((triple9 triple6) -> rule2) OR ((((triple10) -> rule3) triple6) -> rule2))] Gary is kind.[(triple9 OR ((triple10) -> rule3))] Gary is not green.[(triple8)] Gary is quiet.[(triple10)]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple9 triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple10) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple10) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10