Anne is green. Anne is nice. Anne is smart. Charlie is green. Charlie is kind. Dave is rough. Fiona is rough. Smart people are white.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Charlie is not kind.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "kind" "-")
triple5
Anne is white.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "-")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Dave is rough.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is white.[(((triple3) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1