Anne is green. Anne is not kind. Anne is not nice. Anne is red. Anne is rough. Anne is white. Charlie is furry. Charlie is rough. Dave is kind. Dave is not rough. Dave is white. Fiona is green. If something is green and not white then it is kind. If Anne is kind and Anne is not furry then Anne is not red. All red, furry things are green. All furry, white things are green. If something is rough and not white then it is red. If Charlie is green and Charlie is not white then Charlie is kind. White things are not nice. All green things are rough.
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If something is green and not white then it is kind.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "kind" "+"))
If Anne is kind and Anne is not furry then Anne is not red.
((("Anne" "is" "kind" "+") ("Anne" "is" "furry" "~")) -> ("Anne" "is" "red" "-"))
All red, furry things are green.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All furry, white things are green.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is rough and not white then it is red.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "red" "+"))
If Charlie is green and Charlie is not white then Charlie is kind.
((("Charlie" "is" "green" "+") ("Charlie" "is" "white" "~")) -> ("Charlie" "is" "kind" "+"))
White things are not nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Fiona is rough.
True
2
proof
[(((triple12) -> rule8))]
("Fiona" "is" "rough" "+")
((triple12) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is nice.
False
2
inv-proof
[(((triple11) -> rule7))]
("Dave" "is" "nice" "+")
((triple11) -> (rule7 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Anne is not nice.[(triple3 OR ((triple6) -> rule7))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule8))] Anne is white.[(triple6)] Charlie is furry.[(triple7)] Charlie is rough.[(triple8)] Dave is kind.[(triple9)] Dave is not rough.[(triple10)] Dave is white.[(triple11)] Fiona is green.[(triple12)] @1: Dave is not nice.[(((triple11) -> rule7))] Fiona is rough.[(((triple12) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
((triple6) -> (rule7 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple1) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not rough.
("Dave" "is" "rough" "-")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Dave is not nice.
("Dave" "is" "nice" "-")
((triple11) -> (rule7 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple12) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1