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