Dave is big. Dave is furry. Dave is kind. Erin is kind. Erin is nice. Gary is furry. Gary is nice. Nice, furry people are white. All cold people are furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Nice, furry people are white.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Erin is kind.
True
1
proof
[(triple4)]
("Erin" "is" "kind" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple7)]
("Gary" "is" "nice" "-")
triple7
Gary is white.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Gary" "is" "white" "+")
((triple7 triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Gary" "is" "white" "-")
((triple7 triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] @1: Gary is white.[(((triple7 triple6) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
((triple7 triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1