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