Anne is red. Anne is young. Dave is green. Dave is not red. Dave is young. Erin is blue. Erin is kind. All blue things are kind. Young, rough things are kind. White things are blue. If something is kind and white then it is not green. Green, white things are young. If something is white and not blue then it is red.
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Young, rough things are kind.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is kind and white then it is not green.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "-"))
Green, white things are young.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is white and not blue then it is red.
((("something" "is" "white" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "+"))
Anne is young.
True
1
proof
[(triple2)]
("Anne" "is" "young" "+")
triple2
Dave is red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "+")
triple4
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "red" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple3)] Dave is not red.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7 OR ((triple6) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not red.
("Dave" "is" "red" "-")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1