Erin is furry. Gary is round. Harry is rough. If something is cold and round then it is big. Round, rough things are big. Cold, furry things are rough. Round, rough things are not white. All big, furry things are white. All kind things are not white. Big things are kind. If something is furry then it is not kind.
Erin is furry.
("Erin" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is cold and round then it is big.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Round, rough things are big.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Cold, furry things are rough.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Round, rough things are not white.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
All big, furry things are white.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All kind things are not white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "-"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is furry then it is not kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "-"))
Harry is rough.
True
1
proof
[(triple3)]
("Harry" "is" "rough" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Erin is not kind.
True
2
proof
[(((triple1) -> rule8))]
("Erin" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is kind.
False
2
inv-proof
[(((triple1) -> rule8))]
("Erin" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is white.
Unknown
rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Erin is furry.[(triple1)] Gary is round.[(triple2)] Harry is rough.[(triple3)] @1: Erin is not kind.[(((triple1) -> rule8))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3
Erin is not kind.
("Erin" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1