Dave is furry. Dave is kind. Dave is not nice. Dave is red. Dave is smart. Dave is not white. Erin is red. If Erin is red and Erin is nice then Erin is not furry. If Erin is red then Erin is nice.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is red.
("Erin" "is" "red" "+")
If Erin is red and Erin is nice then Erin is not furry.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "furry" "-"))
If Erin is red then Erin is nice.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple7)]
("Erin" "is" "red" "+")
triple7
Dave is not red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Erin is nice.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("Erin" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not furry.
True
4
proof
[(((triple7 ((triple7) -> rule2)) -> rule1))]
("Erin" "is" "furry" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
False
4
inv-proof
[(((triple7 ((triple7) -> rule2)) -> rule1))]
("Erin" "is" "furry" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is not nice.[(triple3)] Dave is not white.[(triple6)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Erin is red.[(triple7)] @1: Erin is nice.[(((triple7) -> rule2))] @2: Erin is not furry.[(((triple7 ((triple7) -> rule2)) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not nice.
("Dave" "is" "nice" "-")
triple3
Dave is not white.
("Dave" "is" "white" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2