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