Anne is blue. Anne is not furry. Anne is kind. Anne is nice. Anne is smart. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is not smart. Harry is not blue. Harry is cold. Harry is not furry. Harry is not round. Harry is smart. If Anne is cold and Anne is nice then Anne is blue. Cold, nice things are kind. If Charlie is cold and Charlie is round then Charlie is not blue. If Charlie is smart then Charlie is blue. If Anne is round then Anne is kind. If Anne is nice then Anne is smart. If Charlie is furry and Charlie is cold then Charlie is not smart. If something is kind and not nice then it is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Anne is cold and Anne is nice then Anne is blue.
((("Anne" "is" "cold" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "blue" "+"))
Cold, nice things are kind.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If Charlie is cold and Charlie is round then Charlie is not blue.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "blue" "-"))
If Charlie is smart then Charlie is blue.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "blue" "+"))
If Anne is round then Anne is kind.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "kind" "+"))
If Anne is nice then Anne is smart.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "smart" "+"))
If Charlie is furry and Charlie is cold then Charlie is not smart.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "smart" "-"))
If something is kind and not nice then it is smart.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "smart" "+"))
Charlie is nice.
True
1
proof
[(triple9)]
("Charlie" "is" "nice" "+")
triple9
Charlie is not round.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "round" "-")
triple10
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is smart.[(triple5 OR ((triple4) -> rule6))] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is not cold.[(triple6)] Charlie is not smart.[(triple11)] Charlie is round.[(triple10)] Harry is cold.[(triple13)] Harry is not blue.[(triple12)] Harry is not furry.[(triple14)] Harry is not round.[(triple15)] Harry is smart.[(triple16)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple6
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
triple14
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16