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