Dave is green. Fiona is furry. Harry is white. If Dave is kind and Dave is furry then Dave is young. If someone is blue and kind then they are white. If someone is blue and white then they are kind. All green people are cold. Blue, kind people are young. White, furry people are kind. If someone is blue then they are green. If someone is blue then they are cold.
Dave is green.
("Dave" "is" "green" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
If Dave is kind and Dave is furry then Dave is young.
((("Dave" "is" "kind" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "young" "+"))
If someone is blue and kind then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and white then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Blue, kind people are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
White, furry people are kind.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Harry is white.
True
1
proof
[(triple3)]
("Harry" "is" "white" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Dave is cold.
True
2
proof
[(((triple1) -> rule4))]
("Dave" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple1) -> rule4))]
("Dave" "is" "cold" "-")
((triple1) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is green.[(triple1)] Fiona is furry.[(triple2)] Harry is white.[(triple3)] @1: Dave is cold.[(((triple1) -> rule4))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1