Bob is cold. Bob is furry. Bob is not kind. Bob is not round. Erin is not kind. Gary is furry. Gary is rough. Rough people are round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not round.
("Bob" "is" "round" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Gary is round.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "-")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3)] Bob is not round.[(triple4)] Erin is not kind.[(triple5)] Gary is furry.[(triple6)] Gary is rough.[(triple7)] @1: Gary is round.[(((triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not round.
("Bob" "is" "round" "-")
triple4
Erin is not kind.
("Erin" "is" "kind" "-")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1