Dave is furry. Dave is not nice. Dave is smart. Erin is big. Erin is furry. Erin is nice. Erin is young. Green people are not smart. If someone is young then they are green.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Green people are not smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "-"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Erin is not big.
False
1
inv-proof
[(triple4)]
("Erin" "is" "big" "-")
triple4
Erin is green.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "green" "+")
((triple7) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple7) -> rule2))]
("Erin" "is" "green" "-")
((triple7) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not smart.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("Erin" "is" "smart" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("Erin" "is" "smart" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is furry.[(triple1)] Dave is not nice.[(triple2)] Dave is smart.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7)] @1: Erin is green.[(((triple7) -> rule2))] @2: Erin is not smart.[(((((triple7) -> rule2)) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is not nice.
("Dave" "is" "nice" "-")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple7) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2