Bob is green. Bob is kind. Bob is red. If Bob is green then Bob is not quiet. If something is nice and not big then it is kind.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
If Bob is green then Bob is not quiet.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "quiet" "-"))
If something is nice and not big then it is kind.
((("something" "is" "nice" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] @1: Bob is not quiet.[(((triple1) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1