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