Dave is green. Dave is rough. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is kind. Gary is smart. All kind things are furry. All quiet things are young. All furry things are quiet.
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple5 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))]
("Erin" "is" "quiet" "+")
triple5
((triple3) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is not smart.
False
1
inv-proof
[(triple10)]
("Gary" "is" "smart" "-")
triple10
Gary is furry.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "furry" "+")
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "furry" "-")
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
True
3
proof
[(((((triple9) -> rule1)) -> rule3))]
("Gary" "is" "quiet" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not quiet.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule3))]
("Gary" "is" "quiet" "-")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
True
4
proof
[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]
("Gary" "is" "young" "+")
((((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not young.
False
4
inv-proof
[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]
("Gary" "is" "young" "-")
((((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is young.
Unknown
rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not quiet.
Unknown
inv-rconc
[@2: Dave is quiet.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Erin is furry.[(triple3 OR ((triple4) -> rule1))] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8 OR ((triple5) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule3)) -> rule2))] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Gary is furry.[(((triple9) -> rule1))] @2: Gary is quiet.[(((((triple9) -> rule1)) -> rule3))] @3: Gary is young.[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
((triple3) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
((triple5) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3