Anne is blue. Anne is green. Anne is not nice. Anne is young. Bob is big. Dave is not blue. Dave is not green. If someone is green and young then they are blue. Green people are kind. If someone is nice and blue then they are kind. If someone is kind and not blue then they are not red. If someone is nice and not young then they are big. If someone is blue and not kind then they are big. If someone is nice then they are not big. Kind, blue people are big.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not green.
("Dave" "is" "green" "-")
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and not blue then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "red" "-"))
If someone is nice and not young then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "big" "+"))
If someone is blue and not kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "+"))
If someone is nice then they are not big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
Kind, blue people are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule1))] Anne is green.[(triple2)] Anne is not nice.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Dave is not blue.[(triple6)] Dave is not green.[(triple7)] @1: Anne is kind.[(((triple2) -> rule2))] @2: Anne is big.[(((((triple2) -> rule2) triple1) -> rule8) OR ((((triple2) -> rule2) ((triple2 triple4) -> rule1)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2 triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Dave is not blue.
("Dave" "is" "blue" "-")
triple6
Dave is not green.
("Dave" "is" "green" "-")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3