Anne is big. Bob is young. Erin is smart. Harry is green. If Anne is big then Anne is furry. Kind, furry people are cold.
Anne is big.
("Anne" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
If Anne is big then Anne is furry.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "furry" "+"))
Kind, furry people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is big.[(triple1)] Bob is young.[(triple2)] Erin is smart.[(triple3)] Harry is green.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1