Anne is kind. Anne is nice. Anne is quiet. Anne is young. Bob is green. Bob is red. Bob is young. If someone is nice and kind then they are green. All nice, red people are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All nice, red people are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple5)]
("Bob" "is" "green" "-")
triple5
Anne is green.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "green" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "green" "-")
((triple2 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7)] @1: Anne is green.[(((triple2 triple1) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1