Bob is furry. Dave is big. Fiona is young. Gary is blue. All blue, furry things are cold. If something is kind then it is young. If something is blue then it is big. If Fiona is kind then Fiona is blue. Kind, young things are big. If Gary is young and Gary is white then Gary is kind. All young things are cold. If something is blue then it is white.
Bob is furry.
("Bob" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
All blue, furry things are cold.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If Fiona is kind then Fiona is blue.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "blue" "+"))
Kind, young things are big.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Gary is young and Gary is white then Gary is kind.
((("Gary" "is" "young" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Gary is blue.
True
1
proof
[(triple4)]
("Gary" "is" "blue" "+")
triple4
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Dave is big.[(triple2)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule7))] Gary is big.[(((triple4) -> rule3))] Gary is white.[(((triple4) -> rule8))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple4) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1