Anne is furry. Anne is green. Anne is quiet. Anne is smart. Dave is big. Dave is furry. Dave is not green. Dave is smart. Erin is big. Erin is kind. Erin is smart. Erin is young. If something is kind and not quiet then it is big. All kind, young things are not green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is kind and not quiet then it is big.
((("something" "is" "kind" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "big" "+"))
All kind, young things are not green.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
Anne is smart.
True
1
proof
[(triple4)]
("Anne" "is" "smart" "+")
triple4
Erin is not young.
False
1
inv-proof
[(triple12)]
("Erin" "is" "young" "-")
triple12
Erin is not green.
True
3
proof
[(((triple10 triple12) -> rule2))]
("Erin" "is" "green" "-")
((triple10 triple12) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is green.
False
3
inv-proof
[(((triple10 triple12) -> rule2))]
("Erin" "is" "green" "+")
((triple10 triple12) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is not green.[(triple7)] Dave is smart.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Erin is not green.[(((triple10 triple12) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is not green.
("Erin" "is" "green" "-")
((triple10 triple12) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1