Dave is white. Erin is furry. Gary is furry. All furry things are round. If Dave is furry then Dave is nice. White, young things are kind.
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Dave is furry then Dave is nice.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "nice" "+"))
White, young things are kind.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Dave is white.
True
1
proof
[(triple1)]
("Dave" "is" "white" "+")
triple1
Gary is not furry.
False
1
inv-proof
[(triple3)]
("Gary" "is" "furry" "-")
triple3
Erin is round.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "round" "-")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Dave is white.[(triple1)] Erin is furry.[(triple2)] Gary is furry.[(triple3)] @1: Erin is round.[(((triple2) -> rule1))] Gary is round.[(((triple3) -> rule1))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1