Anne is furry. Anne is kind. Anne is smart. Anne is white. Anne is young. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is white. Erin is blue. Erin is nice. Blue things are not kind. If something is blue and not kind then it is white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
If something is blue and not kind then it is white.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "white" "+"))
Anne is smart.
True
1
proof
[(triple3)]
("Anne" "is" "smart" "+")
triple3
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Erin is not kind.
True
2
proof
[(((triple11) -> rule1))]
("Erin" "is" "kind" "-")
((triple11) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is kind.
False
2
inv-proof
[(((triple11) -> rule1))]
("Erin" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is white.
True
4
proof
[(((triple11 ((triple11) -> rule1)) -> rule2))]
("Erin" "is" "white" "+")
((triple11 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is not white.
False
4
inv-proof
[(((triple11 ((triple11) -> rule1)) -> rule2))]
("Erin" "is" "white" "-")
((triple11 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Erin is blue.[(triple11)] Erin is nice.[(triple12)] @1: Erin is not kind.[(((triple11) -> rule1))] @2: Erin is white.[(((triple11 ((triple11) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Erin is blue.
("Erin" "is" "blue" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not kind.
("Erin" "is" "kind" "-")
((triple11) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple11 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2