Anne is blue. Anne is green. Anne is red. Anne is young. Fiona is blue. Fiona is nice. Fiona is young. All blue, red things are green. Blue, kind things are not green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All blue, red things are green.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Blue, kind things are not green.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple3) -> rule1))] Anne is red.[(triple3)] Anne is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple1 triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7