Anne is furry. Bob is smart. Gary is kind. Harry is cold. All furry people are smart. If someone is cold then they are kind. If someone is kind and not furry then they are cold. If Harry is nice then Harry is round. If Anne is kind then Anne is not cold. Nice, furry people are round. If Bob is blue and Bob is kind then Bob is round. If someone is nice and not kind then they are not blue.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and not furry then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "cold" "+"))
If Harry is nice then Harry is round.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "round" "+"))
If Anne is kind then Anne is not cold.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "cold" "-"))
Nice, furry people are round.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Bob is blue and Bob is kind then Bob is round.
((("Bob" "is" "blue" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "round" "+"))
If someone is nice and not kind then they are not blue.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "-"))
Harry is cold.
True
1
proof
[(triple4)]
("Harry" "is" "cold" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple4)]
("Harry" "is" "cold" "-")
triple4
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Bob is smart.[(triple2)] Gary is kind.[(triple3)] Harry is cold.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is kind.[(((triple4) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1