Anne is cold. Anne is kind. Erin is cold. Erin is red. Fiona is furry. Harry is furry. Harry is kind. Quiet, cold things are young. Kind, furry things are rough. If something is red then it is rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Quiet, cold things are young.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Kind, furry things are rough.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple6)]
("Harry" "is" "furry" "-")
triple6
Erin is rough.
True
2
proof
[(((triple4) -> rule3))]
("Erin" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple4) -> rule3))]
("Erin" "is" "rough" "-")
((triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Erin is cold.[(triple3)] Erin is red.[(triple4)] Fiona is furry.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] @1: Erin is rough.[(((triple4) -> rule3))] Harry is rough.[(((triple7 triple6) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1