Bob is not furry. Bob is round. Bob is smart. Fiona is kind. Fiona is red. Fiona is round. Gary is cold. Gary is not furry. Gary is smart. Harry is cold. Harry is not furry. Harry is green. Harry is not red. Harry is round. Harry is smart. All cold, furry people are not kind. If someone is red then they are round. If Gary is not smart and Gary is not red then Gary is green.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All cold, furry people are not kind.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If Gary is not smart and Gary is not red then Gary is green.
((("Gary" "is" "smart" "~") ("Gary" "is" "red" "~")) -> ("Gary" "is" "green" "+"))
Harry is not furry.
True
1
proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Bob is furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2))] Gary is cold.[(triple7)] Gary is not furry.[(triple8)] Gary is smart.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple12)] Harry is not furry.[(triple11)] Harry is not red.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
triple11
Harry is not red.
("Harry" "is" "red" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15