Erin is kind. Harry is smart. Harry is white. Kind, furry people are smart. If Erin is cold and Erin is green then Erin is smart. If Harry is green then Harry is smart. If Harry is cold then Harry is quiet. Green, cold people are kind. If Erin is quiet and Erin is white then Erin is cold. If someone is smart and cold then they are green. If Harry is white then Harry is smart.
Erin is kind.
("Erin" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Kind, furry people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Erin is cold and Erin is green then Erin is smart.
((("Erin" "is" "cold" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "smart" "+"))
If Harry is green then Harry is smart.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "smart" "+"))
If Harry is cold then Harry is quiet.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "quiet" "+"))
Green, cold people are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Erin is quiet and Erin is white then Erin is cold.
((("Erin" "is" "quiet" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "cold" "+"))
If someone is smart and cold then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If Harry is white then Harry is smart.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "+"))
Harry is smart.
True
1
proof
[(triple2 OR ((triple3) -> rule8))]
("Harry" "is" "smart" "+")
triple2
((triple3) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is kind.[(triple1)] Harry is smart.[(triple2 OR ((triple3) -> rule8))] Harry is white.[(triple3)]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
((triple3) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple3