Erin is cold. Erin is not furry. Erin is not quiet. Erin is smart. Fiona is furry. Fiona is quiet. Fiona is smart. Harry is kind. Harry is not rough. Harry is smart. If Erin is smart then Erin is not blue. All furry, rough things are not quiet. If Fiona is quiet then Fiona is furry. Rough, furry things are not smart. If something is quiet and not kind then it is furry. Quiet, kind things are furry. If something is blue and kind then it is furry. All rough things are not blue.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Erin is smart then Erin is not blue.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "blue" "-"))
All furry, rough things are not quiet.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
Rough, furry things are not smart.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "-"))
If something is quiet and not kind then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "kind" "~")) -> ("something" "is" "furry" "+"))
Quiet, kind things are furry.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is blue and kind then it is furry.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All rough things are not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
Fiona is furry.
True
1
proof
[(triple5 OR ((triple6) -> rule3))]
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not smart.
False
1
inv-proof
[(triple10)]
("Harry" "is" "smart" "-")
triple10
Erin is not blue.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "blue" "-")
((triple4) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is blue.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Erin is cold.[(triple1)] Erin is not furry.[(triple2)] Erin is not quiet.[(triple3)] Erin is smart.[(triple4)] Fiona is furry.[(triple5 OR ((triple6) -> rule3))] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Harry is kind.[(triple8)] Harry is not rough.[(triple9)] Harry is smart.[(triple10)] @1: Erin is not blue.[(((triple4) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
((triple4) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1