Bob is blue. Bob is green. Bob is rough. Erin is big. Erin is blue. Erin is furry. Erin is young. Rough, furry things are nice. All rough things are furry. Blue, nice things are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Rough, furry things are nice.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Blue, nice things are young.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Erin is furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "+")
triple6
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is furry.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not nice.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
True
6
proof
[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule1)) -> rule3))]
("Bob" "is" "young" "+")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not young.
False
6
inv-proof
[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule1)) -> rule3))]
("Bob" "is" "young" "-")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is young.[(triple7)] @1: Bob is furry.[(((triple3) -> rule2))] @2: Bob is nice.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Bob is young.[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3