Anne is big. Anne is not furry. Anne is kind. Dave is furry. Dave is not green. Dave is not kind. Dave is rough. Dave is white. Dave is not young. Erin is kind. If Anne is kind and Anne is green then Anne is rough. All big people are white. All young people are white. All kind people are rough. If Erin is furry and Erin is kind then Erin is green. All green, rough people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is kind.
("Erin" "is" "kind" "+")
If Anne is kind and Anne is green then Anne is rough.
((("Anne" "is" "kind" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "rough" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Erin is furry and Erin is kind then Erin is green.
((("Erin" "is" "furry" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "green" "+"))
All green, rough people are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Dave is not kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Dave is young.
False
1
inv-proof
[(triple9)]
("Dave" "is" "young" "+")
triple9
Anne is rough.
True
2
proof
[(((triple3) -> rule4))]
("Anne" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple10) -> rule4))]
("Erin" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not furry.[(triple2)] Dave is furry.[(triple4)] Dave is not green.[(triple5)] Dave is not kind.[(triple6)] Dave is not young.[(triple9)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is kind.[(triple10)] @1: Anne is rough.[(((triple3) -> rule4))] Anne is white.[(((triple1) -> rule2))] Erin is rough.[(((triple10) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not green.
("Dave" "is" "green" "-")
triple5
Dave is not kind.
("Dave" "is" "kind" "-")
triple6
Dave is not young.
("Dave" "is" "young" "-")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1