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