Erin is blue. Gary is cold. Harry is cold. Rough things are green. If something is nice then it is blue. All furry, red things are nice. Red, green things are nice. All blue, furry things are cold. All red, nice things are not cold. If something is blue then it is furry. If Harry is blue and Harry is rough then Harry is cold.
Erin is blue.
("Erin" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All furry, red things are nice.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Red, green things are nice.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All blue, furry things are cold.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All red, nice things are not cold.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Harry is blue and Harry is rough then Harry is cold.
((("Harry" "is" "blue" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Harry is not cold.
False
1
inv-proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Gary is not furry.
Unknown
inv-rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule3 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Erin is blue.[(triple1)] Gary is cold.[(triple2)] Harry is cold.[(triple3)] @1: Erin is furry.[(((triple1) -> rule7))] @2: Erin is cold.[(((triple1 ((triple1) -> rule7)) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2